検索結果
ナビゲーションに移動
検索に移動
- 4キロバイト (157 語) - 2023年9月4日 (月) 19:25
- [[Category:Urelements]] …9キロバイト (442 語) - 2025年1月24日 (金) 19:40
- …クラスを認めることの正しさを主張する。 ZFC に関連したシステムにおいても、[[:en:Kripke-Platek set theory with urelements]]のように、分出公理は有界量化子の式で制限されることがある。 …11キロバイト (383 語) - 2024年6月1日 (土) 11:40
- ZFCの公理に universe axiom (または同値な到達不能基数公理)を付け加えたものはZFCUと表される（これは ZFC に urelements を付け加えたものと混同しないように注意）。 …13キロバイト (465 語) - 2024年5月25日 (土) 13:25
- 24キロバイト (1,085 語) - 2024年6月1日 (土) 11:16