Правило 4 + 1

Думаю, это так или иначе подразумевается как раз в 1-м факте.

Задание специальных знаков определяет термы и соотношения теории J.
Чтобы завершить построение теории J, делают следующее:
1° Записывают сначала некоторое количество соотношений теории J; эти соотношения называются явными аксиомами теории J;
буквы, встречающиеся в явных аксиомах — константами теории J.
2° Задают одно или несколько правил, называемых схемами теории J, которые должны обладать следующими особенностями: ......

Схемы называются также схемами аксиом (в дальнейшем автор употребляет иногда именно этот последний термин). — Прим- ред.