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