[過去ﾛｸﾞ] なぜ、ZFC公理まで遡らなくても数学が出来るの？ (1002ﾚｽ)
上下前次1-新

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

397(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/12/08(日)13:07 ID:ynttxdFV(8/12) AA×
>>391-396>>384>>361-363

外部ﾘﾝｸ:ja.wikipedia.org

[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
397: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2024/12/08(日) 13:07:24.70 ID:ynttxdFV >>391-396 やれやれ 文盲かつ 数学音痴かｗ (参考) https://ja.wikipedia.org/wiki/%E4%B8%80%E9%9A%8E%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86 一階述語論理 一階の言語 一階述語論理の言語（一階の言語）は次のものからなる： 論理記号 (logical symbol) 略す 非論理記号 (nonlogical symbol) 1.述語記号と呼ぶ記号の集合（有限集合でも無限集合でもよい）。各述語記号にはアリティ（arity）と呼ぶ引数の個数に相当する正の整数が一つ対応しているものとする[1]。 2.略す 3.略す 一階の言語は、それが等号を持つかどうか、非論理記号に何を持っているかを決めることによって定まる。 例えば集合論においては、等号を持ち、非論理記号としては アリティ 2 の述語記号 ∈; だけをもつ一階の言語（集合論の言語）が使われる (引用終り) ここで ”例えば集合論においては、等号を持ち、非論理記号としては アリティ 2 の述語記号 ∈; だけをもつ一階の言語（集合論の言語）が使われる” て書かれていたの分る？ｗｗｗ これで 述語記号 ∈の話 >>384 ”近藤友祐 神戸大学工学部電気電子工学科3 年” Ｐ71 L∈論理式 ”述語論理再び 集合論の”内側" での一階述語論理” ”例えば，L∈ := {∈}として，ZFCに対応する集合ZFC ⊆ SentL∈を考えたりできる” また >>361-363 渕野 昌「構成的集合と公理的集合論入門」 P22 L∈-論理式φ と対応している なので、『アリティ 2 の述語記号 ∈; だけをもつ一階の言語（集合論の言語）が使われる』を、百回音読してね その上で、アリティ 3以上とか、述語記号 ∈ 以外とか、 ダメダメダメです。これを理解しましょう！！ ｗｗｗ ；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1731415731/397
やれやれ 文盲かつ 数学音痴か 参考 一階述語論理 一階の言語 一階述語論理の言語一階の言語は次のものからなる 論理記号 略す 非論理記号 述語記号と呼ぶ記号の集合有限集合でも無限集合でもよい各述語記号にはアリティと呼ぶ引数の個数に相当する正の整数が一つ対応しているものとする 略す 略す 一階の言語はそれが等号を持つかどうか非論理記号に何を持っているかを決めることによって定まる 例えば集合論においては等号を持ち非論理記号としては アリティ の述語記号 だけをもつ一階の言語集合論の言語が使われる 引用終り ここで 例えば集合論においては等号を持ち非論理記号としては アリティ の述語記号 だけをもつ一階の言語集合論の言語が使われる て書かれていたの分る？ これで 述語記号 の話 近藤友祐 神戸大学工学部電気電子工学科 年 論理式 述語論理再び 集合論の内側 での一階述語論理 例えば としてに対応する集合 を考えたりできる また 野 昌構成的集合と公理的集合論入門 論理式 と対応している なのでアリティ の述語記号 だけをもつ一階の言語集合論の言語が使われるを百回音読してね その上でアリティ 以上とか述語記号 以外とか ダメダメダメですこれを理解しましょう！！

---

上下前次1-新書関写板覧索設栞歴

---

あと 605 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.055s