t_wの輪郭
axiom
axiom of unordered pair
2024/8/18 5:57:00
対の公理
対
公理
ZF
対の公理
2024/8/18 5:51:00
『論理データベース論考』