t_wの輪郭
axiom
axiom of separation
2024/8/17 23:43:00
分出公理
ZF
内包の公理
axiom of separation
分出
公理的集合論
分出公理
2024/8/17 23:42:00
『論理データベース論考』