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