04/03/21 17:49
>>35
一神教だからこそ、簡単に証明できるって考え方もある。
一般的な数秘術の考え方に従えば、
０は無、１は神、と定義することが多い。
１の存在証明はたやすい。
空集合公理：∃ｘ∀ｙ￢（ｙ∈ｘ）
により、空集合φが存在する。これを０とする。
無限（集合）公理：∃ｘ（φ∈ｘ∧∀ｙ（ｙ∈ｘ→ｙ∪｛ｙ｝∈ｘ））
により、集合｛φ｝が存在する。これを１とする。
ゆえに神は存在する。Q.E.D.
これぢゃつまんない？
その点、神学者がカントールに惹かれる理由も分かる。
「巨大な無限集合」として神を再定義しちゃうぞ～なんてことも可能。
通常の数学で扱う範囲を大きく逸脱しているし、
「神」と呼んで良いくらい人智を超越しまくってるからね。