t_wの輪郭

理公こうり

公理

2024/5/4 7:44:00

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

正則性公理

2024/8/18 5:56:00

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

空集合の公理

2024/8/18 5:53:00

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

冪集合の公理

2024/8/18 5:52:00

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

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

ZF

2024/8/18 5:52:00

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

ZF 公理和集合

和集合の公理

2024/8/18 5:51:00

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

対の公理

2024/8/18 5:51:00

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

公理 ZF 外延

外延性公理

2024/8/18 5:50:00

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

選択公理

2024/8/17 23:59:00

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

ZF 公理置換

置換公理

2024/8/17 23:49:00

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