t_wの輪郭
axiom
axiom of extentinality
2024/8/18 5:57:00
外延性公理
axiom of extentinality
ZF
外延性
外延
公理
外延性公理
2024/8/18 5:50:00
『論理データベース論考』