Cтраница 4
Итак, наша официальная единичечная система обозначений явным образом соединяется с символом s одноместной функции, которая, будучи применена к произвольному натуральному числу в качестве аргумента, дает следующее по величине натуральное число как значение. [46]
Напомним, что унаром называется универсальная алгебра, сигнатура которой состоит лишь из одноместных функций, а мо-ноунаром - алгебра, сигнатура которой состоит из одной одноместной функции. [47]
Пусть система функций из Pk, k 3, содержит все константы и все одноместные функции, принимающие два значения, одно из которых фиксировано. Тогда для неявной полноты этой системы необходимо и достаточно, чтобы она содержала также хотя бы одну неквазилинейную функцию. [48]