1001コメント525KB

数学基礎論・数理論理学　その13

■ このスレッドは過去ログ倉庫に格納されています

0428１３２人目の素数さん

2012/08/17(金) 01:48:30.40

巨大基数の初等埋め込みの存在みたいに
クラスのモデルが存在するという意味なら
ZFC |- ∃M ( M |= ZFC) でも全然問題ないんだけどね

■ このスレッドは過去ログ倉庫に格納されています