ぴあのん
@piano2683
Uを「Grothendieck宇宙の存在」を表す公理とする。 「ZFC+U |- Con(ZFC)」なので、「Con(ZFC)⇒Con(ZFC+U)」は証明できない。 #kansaimath #kansaimath303
2016-03-20 17:01:57
V-alg-d(ZZ)
@alg_d
Con(ZFC+Grothendieck宇宙の存在) は Con(ZF) や Con(ZFC) よりもヤバい仮定(個人の感想です)
2016-03-20 17:00:22
y.
@waidotto
Con(ZF+AD)⟹Con(ZFC+U)の系として,Con(ZF)⟹(ZF+AD)は証明できない #kansaimath #kansaimath303 #公理追加
2016-03-20 17:02:02
ぴあのん
@piano2683
Con(ZF+AD)⇔Con(ZF+Woodin基数がたくさん存在)というヤバい結果がある #kansaimath #kansaimath303
2016-03-20 17:03:02