「全知全能」な神が存在しないことはゲーデルが証明済み。