数学基礎論・数理論理学 その13
■ このスレッドは過去ログ倉庫に格納されています
0579132人目の素数さん
2012/08/31(金) 23:48:17.84ZFC: 構成的− 可述的− 構成可能−
ZFC+V=L: 構成的− 可述的− 構成可能+
KPω: 構成的− 可述的+ 構成可能−
KPω+V=L: 構成的− 可述的+ 構成可能+
CZF: 構成的+ 可述的+ 構成可能−
?: 構成的+ 可述的+ 構成可能+
?: 構成的+ 可述的− 構成可能−
?: 構成的+ 可述的− 構成可能+
誰か最後の3つを埋めてくれ。
■ このスレッドは過去ログ倉庫に格納されています