Inter-universal geometry と ABC予想 (応援スレ) 60

521 名前：１３２人目の素数さん mailto:sage [2021/10/23(土) 11:53:07.70 ID:VEyje5yT.net] >>467 >ヒルベルトのいう公理化と、 >ブルバキのいう公理化は、 >そもそも目的が違いますよ ほんとおサル>>5-6は、笑えるな 「ブルバキ」は、基礎論のテキストではないよね 集合論の部分もあったと思うが 一般の数学用の集合論と、基礎論とは、書きぶりが全く異なるよね 例えば、3 (＝{0,1,2})＝{{},{{}},{{},{{}}}} なんて定義に従ったら 3x3＝9でさえ、とんでもないことになるよｗ 一般の数学用の集合論は、 あくまでアトム（＝Urelement（下記））を使う集合論にしないと、 ”全てを空集合{}で定義する〜！”とか言い出すと 収拾が付かないでしょｗｗｗ (参考) https://en.wikipedia.org/wiki/Urelement In set theory, a branch of mathematics, an urelement or ur-element (from the German prefix ur-, 'primordial') is an object that is not a set, but that may be an element of a set. It is also referred to as an atom or individual. (引用終り) 以上

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef