t_wの輪郭

集合論こうりてき

公理的集合論

2024/8/17 23:39:00

無限集合の公理分出公理『論理データベース論考』

ZF 公理的集合論内包の公理

分出公理

2024/8/17 23:42:00

『論理データベース論考』

ZF 公理的集合論 axiom of infinity 無限集合

無限集合の公理

2024/8/17 23:42:00

『論理データベース論考』

本データベース述語論理 aRb ZF T字型ER手法集合論『哲学探究』クルト・ゲーデル集合論の公理体系

『論理データベース論考』

2024/8/17 23:40:00

https://amzn.to/4dXwPaU

あれ『論理データベース論考』が難しすぎてあきらめた T字形ER手法はaRbを関数表現として解釈しない entityはresourceとeventに分けられる T字の右辺には述語を書く T字の左辺には主語を書く entityはidentifierを付与されたモノ「entityは管理したいモノ」というのは正確ではない在庫はentityではない T字型ER手法のentityは名辞チューリングルートヴィヒ・ウィトゲンシュタイン『論理哲学論考』述語論理