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