История изменений
Исправление novus, (текущая версия) :
который, ещё раз, писал не об истинах недоказуемых, а о неполноте части аксиоматических систем.
Если популярно, то если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула. Т.е. истина.
Да, это установлено для формальной арифметики.
А где гарантия, что для других формальных теорий это не так?
Исходная версия novus, :
который, ещё раз, писал не об истинах недоказуемых, а о неполноте части аксиоматических систем.
Если популярно, то если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула. Т.е. истина.
Да, это установлено для формальной арифметики.
А где гарантия, что для других формальных теорий, это не так?