Замкнутая Формула

См. Арифметика формальная.