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