Inter-universal geometry と ABC予想 (応援スレ) 60at MATHInter-universal geometry と ABC予想 (応援スレ) 60 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト901:１３２人目の素数さん 21/11/01 11:05:27.26 vxXoa7Zf.net >>802 つづき （参考） https://ja.wikipedia.org/wiki/%E6%AD%A3%E5%89%87%E6%80%A7%E5%85%AC%E7%90%86 正則性公理 定義 空でない集合は必ず自分自身と交わらない要素を持つ。 以下の4つの主張はいずれも同値であり、どれを正則性の公理として採用しても差し支えない。 ・V=WF ここで、Vはフォン・ノイマン宇宙を指し、WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラスを指す。 ZF公理系の他の公理系から得られる種々の集合演算(対集合、和集合、冪集合) の結果としての集合は常にWF内に含まれるため、V=WFの仮定は全ての集合を0に通常の集合演算を施すことによって得られるものだけに制限することを主張している。 (引用終り) 以上 902:１３２人目の素数さん 21/11/01 11:15:22.12 GFaoa/dG.net >>802 お前証明読めんやん？ お前に何度も何度も証明つけて説明したけど全部わからんかったんやろ？ お前に数学理解できる知能ないって 人格障害でその事認識できんみたいやけど 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch