>>175 補足
>>>あと、{}から外側に無限回{}をかぶせたものを･･･{{{}}}･･･としたとき
>>「{}から外側」ってのが、必須でないよね
>ここは、別に{}は外側からって、定義はないよねｗ

補足しておくよ
1）確かに、aを元とする集合は、{a}である。しかし、1重の{}のときは、外も内もない
2）そして、{}が2重のときは、{{a}}を内から書こうが、外から書こうが、出来上がったものは同じだよ
　 もし、例えば{{a}}のカッコ＝{}に、”label”がついていれば、{{a}1}2と {{a}2}1 と (注：数字が{}の順を示す)
　 この二つは区別されるべきだが、”label”がないならば、見分けつかないでしょ
3）同様に、{}がn重のときは、{・・{a}・・}で、{}の書き順とは無関係に、出来上がったものは同じだよね
4）再帰的に{}を追加して、ｎ重、さらに進んで可算ω重のシングルトンの存在を考えるときは、外側に追加することは認めるが
　だけど、そもそも、可算多重の{{{...}}}ωとは何者で、数学的にどう考えるべきかの議論のときに
　　一番外に{}が有るの、無いのは、幼児のたわごとにすぎないじゃん。それって、本質じゃないよね
　（一番外に{}が無いから、{{{...}}}ωが存在しないとか、完全にアホやんｗｗ）

　それって、数学の本質的な議論とは、ほど遠いよねｗｗｗ

(参考：上記の2)項の”label”の話は、IUTでもあるね（下記）)
https://www.kurims.kyoto-u.ac.jp/~motizuki/Rpt2018.pdf
REPORT ON DISCUSSIONS, HELD DURING THE
PERIOD MARCH 15 ? 20, 2018, CONCERNING
INTER-UNIVERSAL TEICHMULLER THEORY (IUTCH) ¨
Shinichi Mochizuki
February 2019

P5
(T5) opposition by SS to the use of labels in IUTch to distinguish distinct
copies of various familiar objects
(T5-1) as a matter of taste,
(T5-2) on the grounds that the use of such labels seemed to SS to be
logically unnecessary or “meaningless”;
(引用終り)
以上