t_wの輪郭

RSS

理こうり公

公理

2024/5/4 16:44:00

距離の公理公理系『論理データベース論考―データ設計の方法:数学の基礎とT字形ER手法』正則性公理空集合の公理 ZF 和集合の公理対の公理外延性公理公理的選択公理置換公理公理体系内包の公理部分集合の公理冪集合の公理

公理 ZF axiom of regularity 正則性

正則性公理

2024/8/18 14:56:00

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

公理 ZF axiom of empty set 空集合

空集合の公理

2024/8/18 14:53:00

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

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

ZF

2024/8/18 14:52:00

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

公理 ZF axiom of power set 冪集合

冪集合の公理

2024/8/18 14:52:00

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

公理 ZF axiom of sum set 和集合

和集合の公理

2024/8/18 14:51:00

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

対公理 ZF axiom of unordered pair

対の公理

2024/8/18 14:51:00

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

公理外延 ZF axiom of extentinality 外延性

外延性公理

2024/8/18 14:50:00

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

選択公理せんたくこうり

選択公理

2024/8/18 8:59:00

ZFに選択公理を加えた集合論がZFC

置換公理 ZF ちかんこうり axiom of replacement

置換公理

2024/8/18 8:49:00

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

体系公理こうりたいけい

公理体系

2024/8/18 8:47:00

集合論の公理体系

公理部分集合

部分集合の公理

2024/8/18 8:46:00

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

内包の公理

2024/8/18 8:44:00

『論理データベース論考』分出公理

的公理こうりてき

公理的

2024/8/18 8:39:00

公理的集合論

距離の公理

2024/6/9 12:08:00

【数学】無限次元の空間に存在する点と点の間の距離とは？【ずんだもん解説】 - YouTube

『論理データベース論考―データ設計の方法:数学の基礎とT字形ER手法』

2024/6/1 16:25:00

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

系公理こうりけい

公理系

2024/5/4 16:44:00

アームストロングの公理系 BGの公理系