Выдержка из книги
Гильберт Д.N.
Основания математики
Теперь, прежде чем перейти к арифметизации понятия вывода, мы рассмотрим вопрос о том, как с помощью арифметического перевода может быть оформлена процедура вычисления тех истинностных значений бескванторных формул, которые получаются в результате произвольного приписывания каждой элементарной формуле одного из значений истина или ложь и истолкования связок исчисления высказываний как истинностных функций.
