19/09/13 08:07:26.32 Ct8Lh9wH.net
>>85
>おまえは{}、{{}}、{{{}}}の三者を
>どうベン図で書くつもりだ？
大中小の丸でいいでしょ
三重丸で
{}は小丸、{{}}は中丸、{{{}}}は大丸
（>>90より）
URLﾘﾝｸ(www.math.tsukuba.ac.jp)
数理論理学II Akito Tsuboi 筑波大
(抜粋)
P11
1.3 順序数
以下では，集合論の公理を仮定する．
定義18. 1. x が推移的である(Trans(x)) とは，∀y∀z(z ∈ y ∈ x → z ∈ x)
となることである．
(引用終り)
以上