19/03/21 12:55:04.34 L2G86nzK.net
>>608 補足
前半に関連記述があった（＾＾
（文字化けがあるので、原文見て下さい）
URLﾘﾝｸ(blacaman.tripod.com)
An Introduction to Independence Proofs K KUNEN/キューネン First edition: 1980 Seventh impression: 1999 （藤田 博司 (翻訳)）
P16
§ 7. Ordinals
7.2. DEFINITION. x is an ordinal iff x is transitive and well-ordered by ∈.
More formally, the asserti