1+1=2を証明するために
様々な数学定理が形式化され、定理を証明するための定理をリンクをたどることによって調べることができる。
公理系はZF(ZFC?)公理系を採用?
Metamath Proof Explorer Home Page
1+1=2を証明するのに凄い数の定理が必要ですね。
様々な数学定理が形式化され、定理を証明するための定理をリンクをたどることによって調べることができる。
公理系はZF(ZFC?)公理系を採用?
Metamath Proof Explorer Home Page
1+1=2を証明するのに凄い数の定理が必要ですね。