>>405
”定理 0.3. 「ZF から基礎の公理を除いた公理系」の元で
「基礎の公理 ←→ 任意の集合 x に対してある順序数 α が存在して x ∈ R(α)」である”

追加（＾＾；
https://twilog.org/y_bonten/search?word=%E6%9C%80%E5%B0%8F&;ao=a&page=2
ぼんてんぴょん(Bontenpon)@y_bonten
(抜粋)
順序数αが順序数の集合Cの最小元である⇔α∩C＝\emptyset というのは、どうも確かめる度にぱずりんぐ
posted at 06:46:13