>>85
>おまえは{}、{{}}、{{{}}}の三者を
>どうベン図で書くつもりだ？

大中小の丸でいいでしょ
三重丸で
{}は小丸、{{}}は中丸、{{{}}}は大丸

（>>90より）
http://www.math.tsukuba.ac.jp/~tsuboi/und/14logic3.pdf
数理論理学II Akito Tsuboi 筑波大
(抜粋)
P11
1.3 順序数

以下では，集合論の公理を仮定する．
定義18. 1. x が推移的である(Trans(x)) とは，∀y∀z(z ∈ y ∈ x → z ∈ x)
となることである．
(引用終り)
以上