t_wの輪郭

RSS

ZFの集合論

2024/8/18 8:57:00

Zermelo-Fraenkelの集合論

集合論 ZF 集合論の公理体系 ZFの集合論 Zermelo-Fraenkel

Zermelo-Fraenkelの集合論

2024/8/18 8:48:00

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