t_wの輪郭

合併集合正則性公理空集合の公理ZF冪集合の公理対の公理和集合の公理外延性公理DB論考Bernays-Gödelの集合論
あれ『論理データベース論考』が難しすぎてあきらめたT字形ER手法はaRbを関数表現として解釈しないentityはresourceとeventに分けられるT字の右辺には述語を書く