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