数学を一から構築して、（機械用の）教科書を作ります。数学で使用される単語を準備し、定理を与えていきます。人類が過去に得た膨大な結果を機械に扱える形で保存していきます。淡々と記述していきますが、たまにコメントアウトで簡単な（人間用の）説明も入れます。
Fermatの最終定理までをなるべく寄り道しないで与えます（？）

数学1では、数学の基礎を準備します。一階論理から始めて、集合・クラス…