>>83
(引用開始)
彼のやってることは、いわゆる閉世界仮説
https://ja.wikipedia.org/wiki/%E9%96%89%E4%B8%96%E7%95%8C%E4%BB%AE%E8%AA%AC
「閉世界仮説（へいせかいかせつ、英: Closed world assumption）は、現時点で真であると判明していないことは偽であると仮定することを意味する。」
もちろん、数学ではそのような考え方は取らない
(引用終り)

ここは中高生も来るので しっかり赤ペンしておくよ（＾＾

１）公理系には 必ず 独立命題が存在する（ゲーデル不完全性定理）
　独立命題とは その公理系からは 否定も証明もできない命題のことだ
２）ZFCの連続体仮説が有名だが
　ユークリッド幾何の無限遠点や
　ガウス平面に対する リーマン球面も
　同様に それぞれ 独立命題だ
　つまり（無限遠点はユークリッド幾何では否定も肯定もできない。ガウス平面に対する リーマン球面の関係も同様）
３）ゆえに ”閉世界仮説”とは似て非なる思想だよ
　つまり 独立命題と証明されたことは ”現時点”ではなく 未来永劫 独立命題！！！■
QEDｗ （＾＾