>>0681
ショルツェはMOで、Joshiのプレプリントは、証明の戦略に欠陥があると述べた。

IUTがお手本で、従来の数学への単なる置換えは、問題があると分かったが、
従来の数学で素点を扱える証明の理論をつくれば、人生を棒に振らないで済む。