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

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