別の公理系からは証明出来ない

間違ってたらごめん
ゲーデルの不完全性定理
第１定理はこの前書いた
つまりある公理系の無矛盾性は
それ自身の内では証明出来ない
より上位の公理が必要になる
でもまたその上位の公理自体
自らの無矛盾性を証明出来ない
これで終わりだと思っていたら
第２定理があったらしい
はっきりと理解してないから
間違ってたらごめん
ある公理系は別の公理系からは
無矛盾性を証明出来ない
どないせえっちゅんねん
よく分からないのだが
間違ってるかも知れないのだが
つまるところ何一つ
確からしい事など何もない
神さえも
絶対じゃないと
その公式は語っている
神にも出来ない事があるんだ
万能じゃなかったんだ
ある意味その出来る事と
出来ない事を
知っている事が
全能なのではないかと
だからと言って
神なんかいないとか
神なんかいてもいなくても
同じとか思わない
出来ない事があったっていいじゃないか
あんな面倒くさい事しか
考え付かなかったとしても
出来る事をちゃんとやってれば
がんばれ神様
私もそれなりにがんばるから
おっと
(なぜおっと？)