>>491
>つまり、
>>{と}と,以外のものが出てくるわけではない。
>というのはゲーテルナンバーのことなんですか？

違うな。それ以前の公理的集合論の基本中の基本。

つまり
・全ての集合は空集合{}から生成される
・逆にどんな集合もそこから要素となる集合、
そのまた要素となる集合・・・ととりつづける
と有限回で空集合{}に至る。

集合の要素の数に限りはないが、
「要素の要素の要素･･･」という
繰り返しの深さは有限。