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