t_wの輪郭
RSS
体系
公理
こうりたいけい
公理体系
2024/8/18 8:47:00
集合論の公理体系
集合論
ZF
公理体系
集合論の公理体系
2024/8/18 8:46:00
『論理データベース論考』
ZF
Bernays-Gödelの集合論
Zermelo-Fraenkelの集合論
Zermeloの集合論