t_wの輪郭

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

ZF

2024/8/18 5:52:00

正則性公理空集合の公理冪集合の公理対の公理和集合の公理

axiom of regularity 正則性 ZF 公理

正則性公理

2024/8/18 5:56:00

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

axiom of empty set 空集合 ZF 公理

空集合の公理

2024/8/18 5:53:00

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

axiom of power set 冪集合 ZF 公理

冪集合の公理

2024/8/18 5:52:00

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

和集合の公理

2024/8/18 5:51:00

axiom of unordered pair ZF 公理対

対の公理

2024/8/18 5:51:00

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

axiom of extentinality ZF 外延性外延公理

外延性公理

2024/8/18 5:50:00

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

ZFC

2024/8/17 23:59:00

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

ZF ZFC 選択公理

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

2024/8/17 23:59:00

ZFの集合論

2024/8/17 23:57:00

Zermelo-Fraenkelの集合論

ZF Zermeloの集合論置換公理 Zermelo-Fraenkelの集合論

ZFから置換公理を除いた公理系がZermeloの集合論

2024/8/17 23:50:00

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

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

置換公理

2024/8/17 23:49:00

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