self-evidentとは何だったのか
それはKoshikawaかMochizukiに聞いてみないとわからない

確かなのは「全然論証になっていない」という懐疑派のレッテルは妄想に過ぎなくて
原論文やサーベイでは数学的にきちんとした説明がなされている

論証になっていないことを確定させるには、どこに誤りがあるのかを確定させなければならない
ショルツは単に「全然わからない」と言っているだけで、誤りを確定させているわけではない

誤りを確定させるには「反例」を挙げること、つまり
−|logΘ|が無限に発散する例 or −|log q|≦−|logΘ|が成り立たない例
を挙げることが一つの方法