なぜ、ZFC公理まで遡らなくても数学が出来るの？ (117ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
107(1): 11/20(水)16:49 ID:EqROQi5l(1/4) AAS
>『なぜ、ZFC公理まで遡らなくても数学が出来るの？』
置換公理を使わなくても、分出公理で十分だから
（完）
108: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/20(水)17:20 ID:dQKCe6W8(7/9) AAS
>>107
>>『なぜ、ZFC公理まで遡らなくても数学が出来るの？』
> 置換公理を使わなくても、分出公理で十分だから
なんか、ハナクソみたいなこと言ってない？ｗ ；ｐ）
下記のZF集合論の歴史
『1922年、フレンケルとスコーレムは、原子論理式を帰属関係と同一性の表現に限定した一階述語論理における論理式として定式化できるものとして、「明確な」属性を操作することをそれぞれ独立に提案した。彼らはまた、分出公理を置換公理に置き換えることを独立に提案した。これらの公理と（フォン・ノイマンによって最初に提案された）正則性公理[3]をツェルメロ集合論に追加すると、 ZFで表される公理系が得られる』
なんか、ハナクソみたいなこと言ってない？
(参考)
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
ツェルメロ＝フレンケル集合論とは、ラッセルのパラドックスなどのパラドックスのない集合論を定式化するために20世紀初頭に提案された公理系である。名前は数学者のツェルメロとフレンケルにちなむ。歴史的に議論を呼んだ選択公理(AC)を含むツェルメロ＝フレンケル集合論は公理的集合論の標準形式であり、今日では最も一般的な数学の基礎となっている。選択公理を含むツェルメロ＝フレンケル集合論はZFCと略される。Cは選択(Choice)公理を、 ZFは選択公理を除いたツェルメロ＝フレンケル集合論の公理を表す
省13
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.867s*