[過去ﾛｸﾞ] なぜ、ZFC公理まで遡らなくても数学が出来るの？ (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
344(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/12/07(土)11:52 ID:t45qOUBr(1/12) AAS
>>342
(引用開始)
>ZFCの集合の本質には、影響しない
>だったら、ZFCの公理系とは抵触しない
>それなら許容されるよ
こんな馬鹿丸出しのこと言う誰かさんも少しは勉強すべき
(引用終り)
ほいよ、下記
”近藤友祐 神戸大学工学部電気電子工学科3 年”
「数学を数学するお話 数理論理学」
省57
345(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/12/07(土)11:57 ID:t45qOUBr(2/12) AAS
つづき
P42
集合論の言語L∈は2項関係記号∈だけからなる：L∈ ＝{∈}.
つまり集合論の論理式は ¬,→,∀,＝,∈,(,),,,v0,v1,v2,・・・
のみを用いた有限記号列．
∅,⊆,P,∪・,{・,・}等々の記法は略記にすぎず，原理的には一切略記を用いない論理式で書けることに注意されたい．
しかし，これらの非論理的記号をL∈に追加し，対応する公理をZFCに追加するというやり方もある．
これらも，ZFCと呼んでしまうことにする．
P43
ZFCの公理Part 1
省38
上下前次1-新書関写板覧索設栞歴
あと 657 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.013s