t_wの輪郭
axiom
axiom set theory
2024/8/17 23:40:00
公理的集合論
集合論
こうりてき
公理的集合論
2024/8/17 23:39:00
分出公理
無限集合の公理
『論理データベース論考』