( исчисление предикатов N-ного порядка. Исчисление предикатов, в котором в качестве аргументов предикатов и кванторов могут выступать предикаты порядка от нуля до N-1) Предикатами нулевого Далее…
( цикл типа "N плюс одна вторая"; цикл с выходом из середины тела. Цикл, в котором условие завершения проверяется в середине тела цикла; при этом часть тела до условия выполняется Далее…