20/04/03 19:47:01.62 RURcsZ7v.net
対角線論法は「巧いな…」とは思う一方で「しかし、それでそうだと言い切れるんか？」と
密かに異議が治まらないでいたら、確か実は一般連続体仮説どころか連続体仮説も
証明も反証も出来ない代物で、終いにゃ選択公理以外の何物でも無かったって話じゃ無かったか？
ゲーデルの不完全性定理にも原証は対角線論法が使われてたが後に使わない証明も出て来てないか？
条
20/04/03 19:47:01.62 RURcsZ7v.net
対角線論法は「巧いな…」とは思う一方で「しかし、それでそうだと言い切れるんか？」と
密かに異議が治まらないでいたら、確か実は一般連続体仮説どころか連続体仮説も
証明も反証も出来ない代物で、終いにゃ選択公理以外の何物でも無かったって話じゃ無かったか？
ゲーデルの不完全性定理にも原証は対角線論法が使われてたが後に使わない証明も出て来てないか？
条