Упрямые) Доказанная в 1931 году Теорема Гёделя о неполноте: "Всякая система математических аксиом начиная с определенного уровня сложности либо внутренне противоречива, либо неполна". Иначе говоря, а) в любой достаточно сложной непротиворечивой теории существует утверждение, которое средствами самой теории невозможно ни доказать, ни опровергнуть. б) непротиворечивость достаточно богатой теории не может быть доказана средствами этой теории. Однако вполне может оказаться, что непротиворечивость одной конкретной теории может быть установлена средствами другой, более мощной формальной теории. Но тогда встаёт вопрос о непротиворечивости этой второй теории, и т. д.

Т.е. "Теория всего" невозможна.

Спасибо!)

kraftmann, логика
Nadezhdaaa,