[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 64 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
263(1): 2022/01/16(日) 11:55:17 ID:e5xijWkZ(5/23)調 AAS
>>260 補足
突然ですが
>>34 より
斎藤毅 「集合と位相」（東大出版会 2009）の
P90〜91 第4章 位相空間 の
よりみち 62 に
”公理的方法をとることで、議論の不要な反復を避け、論点を明確にすることができる
しかし、公理的方法の真の効用はそのような消極的なものではなく
見かけ上かけ離れた対象を比較できるようにし、その共通点や相違点を明らかにすることがある”
とある
21世紀 2022年のいま、ZFCは数ある公理系の一つでしかない
urelementを認めても、何の問題もないだろう
しかし、「無限重シングルトン」>>246 は、ZFC内に存在しても、不思議はないと思っている
もし、その存在をZFC内で 否定できると思う人は、どうぞ否定してみてくださいｗ
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
公理
目次
1 公理の例
2 歴史
3 公理の形式性
4 公理の直観的・歴史的な妥当性
歴史
axiomという言葉の語源はギリシャ語のαξιωμα (axioma、価値があり適切と考えられるものあるいはそれ自身明らかなもの)である[2]。公理の概念が明確に記述された現存する文書のうちで最も古いものは、紀元前300年頃にギリシアで書かれたユークリッドの原論である。
外部ﾘﾝｸ:en.wikipedia.org
Contents
1 Etymology
2 Historical development
2.1 Early Greeks
2.2 Modern development
2.3 Other sciences
3 Mathematical logic
3.1 Logical axioms
3.1.1 Examples
3.1.1.1 Propositional logic
3.1.1.2 First-order logic
3.2 Non-logical axioms
3.2.1 Examples
3.2.1.1 Arithmetic
3.2.1.2 Euclidean geometry
3.2.1.3 Real analysis
3.3 Role in mathematical logic
3.3.1 Deductive systems and completeness
3.4 Further discussion
(引用終り)
以上
264(2): 2022/01/16(日) 11:59:40 ID:e5xijWkZ(6/23)調 AAS
>>261
数理論理君だね
＞集合論の教科書一行も読まず集合論の話ができると信じるクズ
それブーメランで自分のことでしょｗ
おれ？
おれは、5〜6行は最低読んだぜ（>>263 ”一行も”の反例提示）ｗｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.120s*