スキャナーで一部読み直して更新しました。 ZF で成立するという部分の記述を、ZF - {正則性公理} で成立すると、書き直したからです。 こちらのファイルになります。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。