早くWeb上でMathMLを使って（出来ない部分は適当に代用しつつ）数式組版をするソフトウェアを作り、ひたすらに長いGödelの不完全性定理の証明を全部メモとして書き残しておきたい