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

最近、教科書を購入する必要が薄れてきていると思った。 無料で同等の知識を得られるサイトが増えてきているから。 最近みたなかでは、ものすごく簡潔明瞭だったのはこれ：http://okawa-denshi.jp/techdoc/日本の数学教科書にフリーも公開されているから、今…