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