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