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