GEB, стр. 93
Ключевой вывод:
Непротиворечивость — НЕ свойство формальной системы как таковой.
Она зависит от интерпретации.
Система может казаться противоречивой — пока не найдёшь правильную интерпретацию.
🌀 Как модифицированная pr: противоречива, если r="равняется". Непротиворечива, если r="≥".