A Scrabble on Cantor, Hilbert, and Zermelo (7; the last)
・・・結局何書きたかったんだっけ。
No. It remais more to argue before doing such a kind of `philosophy'. There are two points which needs further arguments. At first, surely we cannot prove all `true' sentences, but we can prove almost all. Secondly, we can prove the consistency of the relevant theory by systematically extending its theory. And I think, it is possible to pick these points out from Zermelo (and Cantor)...
(to be continued?)