Статья 231

Формула следует относительно общезначимости из формулы тогда и только тогда, когда для всякой возможной реализации и любой функции приписывания последняя выполняет, если для всякой возможной реализации и любой функции приписывания она выполняет.
Отметим, что если из логически следует, то формула будет общезначимой. Однако из может следовать, но при этом формула общезначимой не будет. Например, из следует, но формула не является общезначимой и из логически не следует.
Легко видеть, что для предложений отношения следования и логического следования совпадают. Исходя из этого можно говорить, что предложение логически следует из множества предложений тогда и только тогда, когда всякая модель множества является моделью.

Способы формализации логического следования и общезначимости.

Мы можем теперь точно ответить на вопрос, что есть правильное рассуждение в рамках описанного выше первопорядкового языка.