現代数学の系譜 カントル 超限集合論at MATH現代数学の系譜 カントル 超限集合論 - 暇つぶし2ch481:132人目の素数さん 19/10/22 09:44:48.63 gclLY16S.net>>457 どこがわからないかわからないと堂々巡りになるから確認。 仮定はZFC。 主張1) ∀X ∃Y s.t. ∀a seq. (a1∋a2∋‥∋an, a1=X)⇔an∈Y 外延性の公理からYは存在すれば一意なのでコレをF(X)と書く。 主張2)は諦めて 主張3) ∀x∈F(X) x are singleton ⇒ rank(X) <∞ どれがわからん、知らん、納得いかない? 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch