数学を一から構築して、（機械用の）数学の教科書を作ります。コメントアウトで簡単な（人間用の）説明も入れていきます。
Fermatの最終定理までをなるべく寄り道しないで与えます（？）

なお、例えば「集合とは何か」には答えません。Cantorを始め多くの人が頑張って説明しようとしてきましたが、「集合が満たすべき性質」があるだけ良いのです。