Кроме того, при определении понятия вывода к исходным формулам исчисления предикатов добавляется ряд конкретных формул, ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Гильберт Д.N.
Основания математики
Кроме того, при определении понятия вывода к исходным формулам исчисления предикатов добавляется ряд конкретных формул, которые выделяются нами в качестве аксиом.
