前回は論理公理がすべて強制されることを示した.今回はZFCの公理が強制されることを示そう. ただし,長くなるのでZFCの公理の強制は2回に分ける. 外延性・分離・対集合・和集合・冪集合公理を今回扱い,無限・置換・選択・整礎性公理は次回扱う. 以下,…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。