История изменений
Исправление asaw, (текущая версия) :
речь идёт о непротиворечивой системе аксиом. о допущении возможности существования непротиворечивой системы аксиом говориться в самой формулировке.
Ага, теперь уже существование не постулируется, а допускается, что, надо полагать, уже ничего не доказывает? Ты вообще понимаешь о чем теорема?
поэтому, всякая неопровержимая и недоказуемая формула не имеет практического смысла.
Ты совсем упоролся? Ты только что «доказал», что некая недоказуемая и неопровержимая теорема бессмысленна потому что аксиомы по-твоему бессмысленны. Но теорема Гёделя вообще-то даже не про это, а про то, что если ты будешь так вот дополнять свою систему аксиом, то она в конце концов станет противоречивой (как минимум тогда, когда в ней не останется ни одного недоказуемого и неопровержимого утверждения). А что касается существования непротиворечивых систем аксиом (и даже полных), то они существуют, проблема в том, что они слишком просты.
Исправление asaw, :
речь идёт о непротиворечивой системе аксиом. о допущении возможности существования непротиворечивой системы аксиом говориться в самой формулировке.
Ага, теперь уже существование не постулируется, а допускается, что, надо полагать, уже ничего не доказывает? Ты вообще понимаешь о чем теорема? Она не о системах аксиом, а как раз о теоремах, которые их этих аксиом следуют.
поэтому, всякая неопровержимая и недоказуемая формула не имеет практического смысла.
Ты совсем упоролся? Ты только что «доказал», что некая недоказуемая и неопровержимая теорема бессмысленна потому что аксиомы по-твоему бессмысленны. Но теорема Гёделя вообще-то даже не про это, а про то, что если ты будешь так вот дополнять свою систему аксиом, то она в конце концов станет противоречивой (как минимум тогда, когда в ней не останется ни одного недоказуемого и неопровержимого утверждения). А что касается существования непротиворечивых систем аксиом (и даже полных), то они существуют, проблема в том, что они слишком просты.
Исходная версия asaw, :
речь идёт о непротиворечивой системе аксиом. о допущении возможности существования непротиворечивой системы аксиом говориться в самой формулировке.
Ага, теперь уже существование не постулируется, а допускается, что, надо полагать, уже ничего не доказывает? Ты вообще понимаешь о чем теорема? Она не о системах аксиом, а как раз о теоремах, которые их этих аксиом следуют.
поэтому, всякая неопровержимая и недоказуемая формула не имеет практического смысла.
Ты совсем упоролся? Ты только что «доказал», что некая недоказуемая и неопровержимая теорема бессмысленна потому что аксиомы по-твоему бессмысленны. Но теорема Гёделя вообще-то даже не про это, а про то, что если ты будешь так вот дополнять свою систему аксиом, то она в конце концов станет противоречивой (как минимум тогда, когда в ней останется ни одного недоказуемого и неопровержимого утверждений). А что касается существования непротиворечивых систем аксиом (и даже полных), то они существуют, проблема в том, что они слишком просты.