Математик Курт Гёдель предоставил формальные аргументы существования Бога. Его аргументы были опубликованы намного позже, после его смерти. Он привел аргументы, основанные на модальной логике; он использовал концепцию свойств, которые в итоге приводят к существованию Бога.
Эта теорема не доказывает существование Бога, а только возможность того, что исходя из модальной логики всемогущее существо может существовать.
- Определение 1: «X» является богоподобным, тогда и только тогда, если все его свойства положительные.
- Определение 2: «А» является свойством «X» тогда и только тогда, если для каждого свойства «B», «B» имеет свой «X», и «A» вытекает из «B».
- Определение 3: «X» обязательно существует тогда и только тогда, если все его составляющие однозначно определены.
- Аксиома 1: Если свойство положительно, то его обратное не является положительным.
- Аксиома 2: Любые главные свойства строятся на основных свойства, то есть главное свойство — позитивно, только если все основные — позитивны.
- Аксиома 3: Свойства Богоподобности всегда положительные.
- Аксиома 4: Если главное свойство — положительное, то все его составляющие — положительные.
- Аксиома 5: Существование — положительное свойство
- Аксиома 6: Для любого главного свойства «P», если «P» положительно, то его свойства положительны.
- Теорема 1: Если свойство положительно, то это можно доказать.
- Вывод 1: Свойство быть Богоподобным — постоянно.
- Теорема 2: Если что-то Богоподобное, то оно должно существовать.
- Теорема 3: Богоподобность всегда можно доказать.