>>873
>「あくまで数学の基礎で地下部分
>　これで地上の普通の数学をやろうという人はいません
>　不自由すぎる」
>とほざきそう　ブルバキが聞いたら嘆くぞ

ふっふ、ほっほ
大学数学科2年で詰んで
3年からオチコボレさんなら、ブルバキ読んでないよねｗｗｗ ；ｐ）

実際、ZFCスレにも書いたけど
ZFC内で、円周率πの近似値 3.14を、まともにノイマン順序数で書いたら
3 = {Φ, {Φ}, {Φ, {Φ}}}
1 = {Φ}
4 = {Φ, {Φ}, {Φ, {Φ}}, {Φ, {Φ}, {Φ, {Φ}}}}
なので
π≒{Φ, {Φ}, {Φ, {Φ}}} . {Φ} {Φ, {Φ}, {Φ, {Φ}}, {Φ, {Φ}, {Φ, {Φ}}}}
となります ；ｐ）

ことほどさように、ZFC内は全てが空集合Φから組み立てられて
基礎論としては、美しい

しかし、数学の地上の部分は、ZFC以前に多くの部分が出来上がっているのです
ガウスとかリーマンとかの活躍で、すでに多くの部分が出来上がっているのです

それを全部 π≒ {Φ, {Φ}, {Φ, {Φ}}} . {Φ} {Φ, {Φ}, {Φ, {Φ}}, {Φ, {Φ}, {Φ, {Φ}}}}
で書き直すアホは、おりません！！ ｗ ；ｐ）

(参考)
https://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
ツェルメロ＝フレンケル集合論
選択公理を含むツェルメロ＝フレンケル集合論はZFCと略される。Cは選択 (Choice) 公理を[1] 、 ZFは選択公理を除いたツェルメロ (Zermelo)＝フレンケル (Fraenkel) 集合論の公理を表す。

7. 無限公理
最初のフォン・ノイマン順序数
0 = {} =Φ
1 = {0} = {Φ}
2 = {0, 1} = {Φ, {Φ}}
3 = {0, 1, 2} = {Φ, {Φ}, {Φ, {Φ}}}
4 = {0, 1, 2, 3} = {Φ, {Φ}, {Φ, {Φ}}, {Φ, {Φ}, {Φ, {Φ}}}}