反省閒談
版主: 小老兒
-
- 文章: 5470
- 註冊時間: 週日 6月 27, 2021 10:05 am
Re: 反省閒談
世界觀
=========================
任二集合
甲和乙
存在
函數
F和G
使得
F[甲]=G[乙]
[例如
(甲/甲)聯集(乙)]
========================
把下面這式
F[甲]=G[乙]
改寫成
[(甲)F]=[G(乙)]
再改寫成
甲[F(=)G]乙
甲[Z0]乙
對任二集合
甲和乙
對關係
Z0
都有
甲[Z0]乙
===================
下面這幾個命題等價
甲[Z0]乙
甲[Z0]非甲[Z0]甲
甲[Z0]{}.........{}指空集合
甲[Z0]F1(甲)........F1是任一集合函數
=================================
令.......
{Z0}聯集{自然數n}
=Zn
==============================
Zn有無限多種
對.....
Zn
任二集合
甲和乙
會有
甲[Zn]乙
==========================
任二集合
甲和乙
甲[Z0]乙
甲[Zn]乙
Z0和
Zn
是各個不同的
世界觀
======================
世界觀
有無限多種
=========================
Zn世界觀
我們叫
關係Zn
===================
這一類的
世界觀
有無限多種
=========================
這一連串
的推理
沒有用到很深的
複雜推理
========================
只要集合論
本身
不違反
哥德爾不完備定理
這一套推理
就不違反
哥德爾不完備定理
=============================
所以
存在
不違反
哥德爾不完備定理的
世界觀
有無限多種
=====================
....八萬四千法門.......
=========================
任二集合
甲和乙
存在
函數
F和G
使得
F[甲]=G[乙]
[例如
(甲/甲)聯集(乙)]
========================
把下面這式
F[甲]=G[乙]
改寫成
[(甲)F]=[G(乙)]
再改寫成
甲[F(=)G]乙
甲[Z0]乙
對任二集合
甲和乙
對關係
Z0
都有
甲[Z0]乙
===================
下面這幾個命題等價
甲[Z0]乙
甲[Z0]非甲[Z0]甲
甲[Z0]{}.........{}指空集合
甲[Z0]F1(甲)........F1是任一集合函數
=================================
令.......
{Z0}聯集{自然數n}
=Zn
==============================
Zn有無限多種
對.....
Zn
任二集合
甲和乙
會有
甲[Zn]乙
==========================
任二集合
甲和乙
甲[Z0]乙
甲[Zn]乙
Z0和
Zn
是各個不同的
世界觀
======================
世界觀
有無限多種
=========================
Zn世界觀
我們叫
關係Zn
===================
這一類的
世界觀
有無限多種
=========================
這一連串
的推理
沒有用到很深的
複雜推理
========================
只要集合論
本身
不違反
哥德爾不完備定理
這一套推理
就不違反
哥德爾不完備定理
=============================
所以
存在
不違反
哥德爾不完備定理的
世界觀
有無限多種
=====================
....八萬四千法門.......