t_wの輪郭
axiom
axiom of replacement
2024/8/18 5:59:00
置換公理
ちかんこうり
axiom of replacement
ZF
公理
置換
置換公理
2024/8/17 23:49:00
ZFから置換公理を除いた公理系がZermeloの集合論
『論理データベース論考』