[過去ログ]
ガロア第一論文と乗数イデアル他関連資料スレ12 (1002レス)
ガロア第一論文と乗数イデアル他関連資料スレ12 http://rio2016.5ch.net/test/read.cgi/math/1735693028/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
505: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/01/22(水) 10:38:08.74 ID:XJPGzntw つづき (参考) ja.wikipedia.org/wiki/%E3%83%84%E3%82%A7%E3%83%AB%E3%83%A1%E3%83%AD%EF%BC%9D%E3%83%95%E3%83%AC%E3%83%B3%E3%82%B1%E3%83%AB%E9%9B%86%E5%90%88%E8%AB%96 ツェルメロ=フレンケル集合論(英: Zermelo-Fraenkel set theory) 3. 分出公理(無制限の内包公理) →詳細は「分出公理」および「en:Axiom schema of specification」を参照 部分集合は通常、集合の内包的記法(英語版)を用いて表される。たとえば偶数は、整数 Zの合同式 x≡0(mod2) を満たす部分集合として表すことができる。 一般に、集合 z の部分集合で1つの自由変項 x の式 ϕ(x) に従うものは、以下のように表現できる: {x∈z:ϕ(x)}. 分出公理は、この部分集合が常に存在することを示す(それぞれの ϕ に1つずつ公理が対応するため、これは公理図式である)。 ZFの公理の中で、この公理は置換公理と空集合の公理に従うという点で冗長である。 6. 置換公理 →詳細は「置換公理」を参照 8. べき集合公理 →詳細は「冪集合公理」を参照 (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1735693028/505
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 497 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.010s