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