История изменений
Исправление record, (текущая версия) :
Если формальная система S непротиворечива, то в ней невыводимы обе формулы B и ¬B, из которых одна из двух - очевидно - истинна, где B - россеровская неразрешимая формула.
Исходная версия record, :
Если формальная система S непротиворечива, то в ней невыводимы обе формулы B и ¬B, из которых одна из двух - очевидно - истинна.