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

『論理データベース論考』