**GEB, стр. 100**
**Непротиворечивость:** каждая теорема, будучи интерпретирована, истинна.
"Всё, что производит система — истинно."
**Полнота:** все истинные утверждения, выразимые в системе — теоремы.
"Всё истинное — производится системой."
Система pr — полна на своём уровне.
Но не говорит, сколько простых чисел.
🌀 Полнота — максимальное признание пассивных значений.