"Собел также показывает, что аксиомы Гёделя подразумевают следующее: если все имеет сущность, то все является необходимым сущим [...] Предположим, что аргумент Гёделя обоснован и доказывает существование богоподобного существа g1. Согласно Теореме 2, свойство быть богоподобным является сущностью g1. На основании доказательства Теоремы 3 богоподобие с необходимостью имеет носителей. Пусть р – любая контингентная истина, и пусть Q – свойство, которым некая вещь обладает тогда и только тогда, когда р. Из Принципа Абстракции следует, что g1 обладает Q тогда и только тогда, когда р. Из этого утверждения и истинности р следует, что g1 обладает Q. Поскольку свойство быть богоподобным является сущностью Q, то свойство быть богоподобным влечет за собой Q. Но тогда свойство Q с необходимостью имеет носителей, потому что свойство быть богоподобным с необходимостью имеет носителей. Из Абстракции и Введения Необходимости следует, что Q с необходимостью имеет носителей тогда и только тогда, когда с необходимостью выполняется р. Следовательно, р истинно с необходимостью, что противоречит нашему предположению о контингентности" (Sobel 1987, р. 253)

"Я сознаю свое существование как определенное во времени. Всякое определение времени предполагает существование чего-то постоянного в восприятии. Но это постоянное не может находиться во мне, так как мое существование во времени может быть определено прежде всего именно этим постоянным. Следовательно, воспринять это постоянное можно только при помощи вещи вне меня, а не посредством одного лишь представления о вещи вне меня. Значит, определение моего существования во времени возможно только благодаря существованию действительных вещей, которые я воспринимаю вне меня. А так как сознание во времени необходимо связано с сознанием возможности этого временного определения, то оно необходимо связано также и с существованием вещей вне меня как условием временного определения; иными словами, сознание моего собственного существования есть вместе с тем непосредственное сознание существования других вещей вне меня

Примечание. Из предыдущего доказательства видно, что оружие, употребляемое идеализмом, с еще большим правом может быть обращено против него. Идеализм предполагает, что единственный непосредственный опыт — это внутренний опыт и что исходя из этого опыта мы только заключаем о внешних вещах, да и то без достаточной достоверности, как это всегда бывает, когда мы заключаем от данных действий к определенным причинам: ведь причина представлений, которую мы, быть может ложно, приписываем внешним вещам, может находиться в нас самих. Между тем мы доказали здесь, что внешний опыт непосредственно в собственном смысле слова и что только при его посредстве возможно если не сознание нашего собственного существования, то все же его определение во времени, т. е. внутренний опыт. Конечно, представление я существую, будучи выражением сознания, могущею сопутствовать всякому мышлению, есть то, что непосредственно заключается в себе существование субъекта, однако это еще не знание о нем, стало быть, и не эмпирическое знание, т. е. не опыт: к опыту относится кроме мысли о чем-то существующем еще и созерцание, в данном случае внутреннее созерцание, в отношении которого, т. е. времени, субъект должен быть определен, и для этого определения внешние вещи, существующие в действительности, совершенно необходимы. Следовательно, внутренний опыт возможен лишь опосредствованно через внешний опыт"

1. Бытие есть, небытия нет
2. Не-быть невозможно
3. Бытие никогда не возникало, иначе ему бы предшествовало небытие
4. Бытие никогда не исчезнет, иначе возникнет небытие
5. Бытие неограниченно, иначе оно было бы ограничено небытием
6. Бытие неделимо, иначе между частями было бы небытие
7. Бытие есть тоже самое, что и мыслимое, ибо нельзя мыслить о небытии

П1. Если нет абсолютного внешнего смысла, то смысловой нигилизм истинен
П2. Допустим, есть абсолютный внешний смысл
П3. Его либо можно достичь, либо нет
П4. Если абсолютный внешний смысл можно достичь, то у абсолютного внешнего смысла либо есть такой же смысл, либо нет
П5. Если абсолютный внешний смысл не имеет смыслом самого себя, то он не абсолютный
С1. Если абсолютный внешний смысл не имеет смыслом самого себя, то он невозможен
П6. Если абсолютный внешний смысл имеет смыслом самого себя, то он внешен по отношению к самому себе
С2. Если абсолютный внешний смысл имеет смыслом самого себя, то он невозможен
П7. Если абсолютного внешнего смысла нельзя достичь, то он невозможен
С3. Необходимо истинно во всех случаях, что абсолютный внешний смысл невозможен
В. Смысловой нигилизм истинен

"В самом деле, допустим, что мир имеет начало [во времени]. Так как начало есть существование, которому предшествует время, когда вещи не было, то когда-то должно было существовать время, в котором мира не было, т.е. пустое время. Но в пустом времени невозможно возникновение какой бы то ни было вещи, так как ни одна часть такого времени в сравнении с другой частью не заключает в себе условия существования, отличного от условия несуществования (все равно, возникает ли оно само собой или от другой причины). Поэтому хотя некоторые ряды вещей и могут иметь начало в мире, но сам мир не может иметь начала и, следовательно, в отношении прошедшего времени бесконечен"

"В самом деле, допустим, что мир не имеет начала во времени, тогда до всякого данного момента времени протекла вечность и, стало быть, прошел бесконечный ряд следующих друг за другом состояний вещей в мире. Но бесконечность ряда именно в том и состоит, что он никогда не может быть закончен путем последовательного синтеза. Стало быть, бесконечный прошедший мировой ряд невозможен; значит, начало мира есть необходимое условие его существования, что и требовалось доказать"

«Бремя доказательства лежит на утверждающем позитивное заявление»

«Отрицающий ничего не обязан доказывать»