Список проголосовавших за комментарий "MS, <blockquote>если непротиворечива, то есть утверждения, про которые в её рамках нельзя вывести истинны они или ложны. </blockquote><br/> Это и есть неполнота.<br/> <br/> Но моя тема, собственно не об этом, не понимаю, какое это имеет отношение:)<br/> В любом случае, если мы имеем какую то систему аксиом, пусть даже самых нелепых, и оторванных от реальности, и правила вывода, и если мы выводим совершенно бесполезные, и противоречащие реальности теоремы, с точки зрения математики все ок:)<br/> <br/> То есть, допустим, корректность или непротиворечивость математической теории ничего не говорит нам о том, насколько наша модель адекватна реальности"