Чёт я не понял логики :/

"Бог существует в мышлении. Но существование в реальности больше, нежели существование только в мысли. Следовательно, Бог должен существовать."

Каким образом Гедель делает вывод о том, что мысленное должно обязательно существовать в реальности?
Не, в принципе я с этим согласен, что мыслимо то возможно. Но это моё личное мировоззрение, моя так сказать религия и вера. Я не понял, а где собственно математическое, научное объяснение этого?
С точки зрения ФОРМАЛЬНОЙ логики и ЗДРАВОГО смысла, его утверждение - абсурд.
Ведь Гедель утверждает что "существование в реальности больше, нежели существование только в мысли", из чего явственно следует, что существование "в мысли" явно недостаточно для существования "в реальности". А Гедель делает прямо противоположный вывод... Т.е. так как Бог существует только в мысли, то он должен существовать и в реальности. Как он к такому пришёл?!
Я вижу только один вариант, что он рассматривает "реальность" и "мысль" как два множества, причём "мысль" является подмножеством "реальности", а следовательно всё что находится в "мысли" является и частью "реальности". Но ведь это предположение ещё тоже надо обосновывать! Ведь не просто ж так с потолка он решил что эти абстрактные философские понятия являются множествами (множествами чего?) и тем более что эти множества пересекаются и ТЕМ БОЛЕЕ что одно является подмножеством другого...
Нет, не понимаю. Видимо надо ознакомится с трудами Геделя более подробно, причём желательно в оригинале :) А у меня нет ни времени, ни достаточного знания языка... А жаль :(
Ну ничего, когда-нибудь я займусь действительно интересным делом, а не просто обустройством жизни :)
Хочу жить вечно! Пока всё идёт нормально :)