レス数が1スレッドの最大レス数(1000件)を超えています。残念ながら投稿することができません。

談話室第5番ハ短調作品67

758：のろうゐるす：2021/12/17(金) 17:49:34: まとめ：
>>755 では、「アルゴリズミックに記述できる実数の集合」のような
ものがwell-definedでない（集合を定義しない）ことを述べた。
>>757では、set theoretic formula（これらはZFCの外に存在する）
には判定不能問題が付きまとうことを述べた。

ちなみにset theoretic formulaはZFCの外に存在するため
それらの集まりはZFCの保証するところの集合ではなく、
それらを扱うシステムなしに不定個集めて扱おうとすると
往々にしておかしなことになる。

掲示板管理者へ連絡無料レンタル掲示板