>>308 補足
>>179
(引用開始)
ツェルメロの自然数が大好きなおサルへの問題
{},{{}},{{{}}},・・・をツェルメロの自然数と呼ぶ。以下を証明せよ。
略
６．ZFにおいて集合{{・・・{}・・・}}（無限重括弧）は存在しない。
(引用終り)

全く素人くさいよね、おサルさん>>7

素人は、まず 下記の 東北大 尾畑研
「集合・写像・数の体系　数学リテラシーとして」の草稿(pdf)
第14章順序数と第15章 自然数 とを、百回音読しなｗ ；ｐ）

その上で、下記の
上島晟宏 神戸大学 ”Zermelo と von Neumann の無限公理の同値性”
2023年 すうがく徒のつどい 第4回
を、99回写経しなよ

分からないところは、上島晟宏へ質問しろ！ｗ ；ｐ）

(参考)
https://www.math.is.tohoku.ac.jp/~obata/student/subject/
東北大 尾畑研
「集合・写像・数の体系　数学リテラシーとして」の草稿(pdf)
https://www.math.is.tohoku.ac.jp/~obata/student/subject/TaikeiBook/Taikei-Book_14.pdf
TAIKEI-BOOK : 2019/1/1(22:21)
第14章順序数
https://www.math.is.tohoku.ac.jp/~obata/student/subject/TaikeiBook/Taikei-Book_15.pdf
TAIKEI-BOOK : 2019/1/1(22:21)
第15章 自然数
15.1 ペアノの公理
P234
要は空集合Φから始めて後続順序数を次々に考えることで自然数が次々に得られるのである7)
注
7)このアイデアは順序数の定義第節とともにフォン・ノイマンによる

https://math-tsudoi.jp/4/
すうがく徒のつどい 第4回
2023年9月16日(土)および9月17日(日)に開催。
https://math-tsudoi.jp/4/schedule
9月17日
301教室「Zermelo と von Neumann の無限公理の同値性」 (一般枠)
上島晟宏 (Abstract, スライド)
https://math-tsudoi.jp/4/slides/ikotondo.pdf
Zermelo と von Neumann の無限公理の同値性
上島晟宏 神戸大学大学院システム情報学研究科研究生
目次
1.歴史と無限公理の意味
2. von Neumann 流の無限公理が「改良」足り得る理由
3. 証明の概略
　von Neumann 流 =⇒ Zermelo 流
　Zermelo 流 =⇒ von Neumann 流