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