История изменений
Исправление SZT, (текущая версия) :
Если твоя логика не может повиснуть (вывести противоречие), то она слабее МТ.
А кто-то разве утверждал, что в логике порядка нельзя сформулировать невыводимую и неопровержимую формулу? https://ru.wikipedia.org/wiki/Теорема_Гёделя_о_неполноте
Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.
Исправление SZT, :
Если твоя логика не может повиснуть (вывести противоречие), то она слабее МТ.
А кто-то разве утверждал, что всякое утверждение в логике порядка нельзя сформировать невыводимую и неопровержимую формулу? https://ru.wikipedia.org/wiki/Теорема_Гёделя_о_неполноте
Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.
Исходная версия SZT, :
Если твоя логика не может повиснуть (вывести противоречие), то она слабее МТ.
А кто-то разве утверждал, что всякое утверждение в логике порядка нельзя сформировать невыводимая и неопровержимая формула? https://ru.wikipedia.org/wiki/Теорема_Гёделя_о_неполноте
Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.