t_wの輪郭

集合論の公理体系

2024/8/17 23:46:00

ZF Bernays-Gödelの集合論 Zermeloの集合論 Zermelo-Fraenkelの集合論『論理データベース論考』

公理集合論集合論の公理体系

ZF

2024/8/18 5:52:00

正則性公理空集合の公理冪集合の公理和集合の公理対の公理外延性公理 ZFC ZFに選択公理を加えた集合論がZFC ZFの集合論 ZFから置換公理を除いた公理系がZermeloの集合論置換公理 Zermelo-Fraenkelの集合論集合論の公理体系分出公理無限集合の公理『論理データベース論考』

集合論集合論の公理体系 BG

Bernays-Gödelの集合論

2024/8/17 23:55:00

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

集合論集合論の公理体系 Zermelo

Zermeloの集合論

2024/8/17 23:51:00

ZFから置換公理を除いた公理系がZermeloの集合論『論理データベース論考』

ZF 集合論集合論の公理体系

Zermelo-Fraenkelの集合論

2024/8/17 23:48:00

ZFから置換公理を除いた公理系がZermeloの集合論『論理データベース論考』

本データベース述語論理 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は名辞チューリングルートヴィヒ・ウィトゲンシュタイン『論理哲学論考』述語論理