ПРЕЛЮДИЯ К ГЛАВЕ 3

Аксиома 2: Любое свойство, следующее из позитивного, само позитивно.

Теорема Г. Если свойство позитивно, оно непротиворечиво.

Определение 1: Нечто является Богоподобным, если и только если, оно обладает всеми положительными свойствами.

Аксиома 3: Бошподобность есть позитивное свойство.

Следствие 1 (из Аксиомы 3 и Теоремы 1): Свойство быть Богоподобным является самонепротиворечивым, то есть, возможно имеет пример.

Аксиома 4: Позитивное свойство является логически, и отсюда, необходимо.

Определение 2: Свойство Ф есть сущность вещи х, если и только если, х имеет ФиФ влечет любое свойство, которое имеет X.

Теорема 2\ Если х Богоподобно, тогда Богоподобность есть сущность х.

Определение 3: х существует необходимо, если х имеет существенное свойство.

Аксиома 5: Свойство необходимого существования есть позитивное свойство.

Теорема 3: Необходимо существует некоторый х такой, что х Богоподобен83.

Когда Геделя спросили по поводу таких логических фантазий, он сказал, улыбаясь, что «аксиоматический метод является очень мощным».

Дж. Бэрроу. Пи на небесах1