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?)