t_wの輪郭
公理
体系
公理体系
2024/8/17 23:47:00
集合論の公理体系
ZF
集合論
集合論の公理体系
2024/8/17 23:46:00
ZF
Bernays-Gödelの集合論
Zermeloの集合論
Zermelo-Fraenkelの集合論
『論理データベース論考』