Если f - отображение Гёделя и если формула C может быть получена из формул A и B с помощью правила вывода r; т.е.
Если f является отображением Гёделя и если формула C может быть получена из формул A и B с помощью правила вывода r, т.е.