t_wの輪郭
Zermelo
Zermelo-Fraenkel
2024/8/17 23:48:00
Zermelo-Fraenkelの集合論
ZF
ZFの集合論
Zermelo-Fraenkel
集合論の公理体系
集合論
Zermelo-Fraenkelの集合論
2024/8/17 23:48:00
ZFから置換公理を除いた公理系がZermeloの集合論
『論理データベース論考』