>>95
ありがとう
ええ、確かにそうです

ですが、その英文の記述は
{・・・{Φ}・・・}なる無限多重カッコ{}の集合を否定するものではないですよね

ツェルメロの自然数構成で、後者関数はあくまで、aに対して{a}ですからね
（下記の(a)と(b) とですね）

私は、N＝{Φ, {Φ}, {{Φ}}, …}は、自然数の集合として、決して否定するものではありませんよ

（追加引用）
https://plato.stanford.edu/entries/zermelo-set-theory/
Stanford Encyclopedia of Philosophy
Zermelo’s Axiomatization of Set Theory Michael Hallett
First published Tue Jul 2, 2013
(抜粋)
II.Axiom of Elementary Sets
This asserts
(a) the existence of a set which contains no members (denoted ‘0’ by Zermelo, now commonly denoted by ‘Φ’);
(b) the existence, for any object a, of the singleton set {a} which has a as its sole member; and
(c) the existence, for any two objects a, b, of the unordered pair {a, b}, which has just a, b as its members.