t_wの輪郭

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