Теперь предположим, что принцип W+ истинен. Тогда, приняв во
внимание, что этот принцип представляет собой некоторое выражение, и
то, что он содержит ссылку на весь класс выражений, мы приходим к
выводу о том, что W+ не может быть предложением и, следовательно, a
fortiori не является истинным.
Итак, предположение, что W+ является истинным, неприемлемо. Принцип
W+ не может быть истинным. Однако это не означает, что этот принцип
является ложным, поскольку и предположение, что он является ложным,
и другое предположение, что он является бессмысленным, или лишенным
значения выражением, не ввергают нас в какие-либо затруднения.