t_wの輪郭

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

ZF

2024/8/18 5:52:00

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

正則性公理

2024/8/18 5:56:00

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

空集合の公理

2024/8/18 5:53:00

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

冪集合の公理

2024/8/18 5:52:00

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

ZF 公理和集合

和集合の公理

2024/8/18 5:51:00

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

対の公理

2024/8/18 5:51:00

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

公理 ZF 外延

外延性公理

2024/8/18 5:50:00

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

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

2024/8/17 23:59:00

ZFC

2024/8/17 23:59:00

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

ZFの集合論

2024/8/17 23:57:00

Zermelo-Fraenkelの集合論

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

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

2024/8/17 23:50:00

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

ZF 公理的集合論内包の公理

分出公理

2024/8/17 23:42:00

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