Gödelに関する主張は間違いと思って宜しいでね。

＞カントルがボルツァーノを先駆者としているのは、本人の言です。
誰もそれが間違いだとは言っていません。
Bolzanoと同じくらい当時の解析学に貢献した数学者はいくらでも居て、
単にBolzanoはそのうちの一人だということです。

＞まっとうな理論のあるべき姿
Aristotelesの本に公理から定理を導出していくスタイルのものは一つとして無い。
Eucleidesの本の理論展開のしかたは、あくまで彼（或いは彼ら）のオリジナルと見做すべきです。