>>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.
(引用終り)
以上