読者です 読者をやめる 読者になる 読者になる

Matthewの備忘録

忘れたときはここを見ろ。何か書いてある。

1+1=2を証明するために

様々な数学定理が形式化され、定理を証明するための定理をリンクをたどることによって調べることができる。
公理系はZF(ZFC?)公理系を採用?

Metamath Proof Explorer Home Page

1+1=2を証明するのに凄い数の定理が必要ですね。