t_wの輪郭
axiom set theory
こうりてき
公理的
集合論
公理的集合論
2024/8/17 23:39:00
分出公理
無限集合の公理
『論理データベース論考』
ZF
内包の公理
axiom of separation
分出
公理的集合論
分出公理
2024/8/17 23:42:00
『論理データベース論考』
ZF
axiom of infinity
無限集合
公理的集合論
無限集合の公理
2024/8/17 23:42:00
『論理データベース論考』
合併集合
正則性公理
空集合の公理
冪集合の公理
ZF
対の公理
和集合の公理
外延性公理
DB論考
Bernays-Gödelの集合論
『論理データベース論考』
2024/8/17 23:40:00
https://amzn.to/4dXwPaU
あれ
『論理データベース論考』が難しすぎてあきらめた
T字形ER手法はaRbを関数表現として解釈しない
entityはresourceとeventに分けられる
T字の右辺には述語を書く