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