トップページ
⇒
math
984コメント
406KB
数学基礎論・数理論理学 その15 [転載禁止]©5ch.io
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0362
132人目の素数さん
2014/12/23(火) 10:45:15.13
その集合はL-rankがもっと高いだけで定義可能な要素である場合もあるでしょ。
特殊なuの選び方するのかもしれないけど、具体的にはどう取るの?
というかCON(ZF)のもとで、
「非構成的集合が一つ存在する」
⇒「非構成的集合が一つ存在すると仮定しても矛盾しない」
⇔「ZF+V/=L の無矛盾性」
だからね
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています