t_wの輪郭

RSS

axiom of replacement

2024/8/18 14:59:00

置換公理 ZF ちかんこうり axiom of replacement

置換公理

2024/8/18 8:49:00

『論理データベース論考』ZFから置換公理を除いた公理系がZermeloの集合論