Inter-universal geometry と ABC予想 (応援スレ) 74 (898ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 74 http://rio2016.5ch.net/test/read.cgi/math/1755784703/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
110: １３２人目の素数さん [] 2025/08/24(日) 12:15:09.52 ID:rTm6xTpy >>102 >ツェルメロの公理的集合論ではこの矛盾をなくすために >「集合とはものの集まり」と考えるのをやめた >例えば >「ある性質を満たす集合全体の集まりは集合である」（内包公理）をやめて >「集合の集合の中で、ある性質を満たす集合全体の集まりは集合である」（分出公理）とした 例えばというか、内包公理から分出公理への置き換えそのものだね。 >また、無限集合は無限操作で構成するなどできないから >代わりに無限公理を立てた 無限公理（実は対の公理、和集合の公理、べき集合の公理も）は上記の内包公理から分出公理への置き換えにともない必要となった。 すなわち、無限公理は下記の通り内包公理の特別な場合である。 無限公理 φは自由変数xを持つ開論理式で下記を満たすものとする。集合{x|φ(x)}が存在する。この公理はφをパラメータとする公理図式である。 φ({})∧∀x(φ(x)→φ(x∪{x})) http://rio2016.5ch.net/test/read.cgi/math/1755784703/110
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 788 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.010s