Inter-universal geometry と ABC予想 (応援スレ) 62

[0943 １３２人目の素数さん 2021/12/29(水) 00:57:24.51 ID:9HxcPjEw]

え、独立じゃなかった？
ZFC内で、ZFCのモデルの存在を仮定すれば、AZFとか基礎の公理成り立たないシステムのモデル作れなかったっけ？