Inter-universal geometry と ABC予想 (応援スレ) 45at MATH
Inter-universal geometry と ABC予想 (応援スレ) 45 - 暇つぶし2ch468:現代数学の系譜 雑談
20/05/10 17:10:49.30 mjl0bfS3.net
>>426
>質問には一切答えない
>集合論知らない素人は出て行って!
おサルさん
集合論の前に
「公理主義」を学びましょう~!
「公理主義」では、決められた公理以外は使ってはいけません
論理式 ψは、与えられた公理の組合わせから導かれるものでなければなりません
空集合の存在も、与えられた公理から導くか、さもなければ 最初から公理として与えるか? 二択しかありません!
(多分w、ZFCでは 空集合の存在は 公理から導かれると思います。Kenneth Kunenの”The Foundations of Mathematics”には、そう書いてあるようですよw)
SING(x) (x is a singleton) も、与えられた公理から導くか、さもなければ 最初から公理として与えるか? 二択しかありません!
(多分w、ZFCでは ”singleton”の存在は 公理から導かれると思います。Kenneth Kunenの”The Foundations of Mathematics”には、そう書いてあるようですよw)
お分かりでしょうか?
小学校で、公理主義を学びましょう~!w(^^;


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch