ZF
2024/8/18 14:52:00
Zermelo-Fraenkelの集合論
2024/8/18 8:48:00
本データベース述語論理T字型ER手法データ設計論理データベースT字形ER手法はaRbを関数表現として解釈しないentityはresourceとeventに分けられるT字の右辺には述語を書くT字の左辺には主語を書くentityはidentifierを付与されたモノ在庫はentityではない「entityは管理したいモノ」というのは正確ではないT字型ER手法のentityは名辞チューリングルートヴィヒ・ウィトゲンシュタイン『論理哲学論考』aRb排中律「T字型ER手法は, 「命題論理」を使って, 「有意味な」データ構造を作図するための技法」意味の対象説写像理論言語ゲームは意味の使用説を提示した概念言語ゲーム『哲学探究』仮言命題命題論理学T字型ER手法の作図ルールヒルベルトのプログラムウィトゲンシュタインは『探求』で1対1対応を否定したクラス論理集合論BGの公理系多項述語論理コード体系『論理データベース論考―データ設計の方法:数学の基礎とT字形ER手法』event : eventresource : eventクルト・ゲーデル記号論理学単項述語論理関係の論理第一階述語論理resource : resource真理関数合併集合正則性公理空集合の公理冪集合の公理ZF和集合の公理DB論考Bernays-Gödelの集合論公理的集合論集合論の公理体系ZFから置換公理を除いた公理系がZermeloの集合論Zermelo-Fraenkelの集合論Zermeloの集合論置換公理axiom of infinity分出公理無限集合の公理BG内包の公理部分集合の公理対の公理外延性公理無限集合
『論理データベース論考』
2024/8/18 8:40:00