Теорема Гёделя...

"Наиболее распространенная, хотя и не вполне строгая ее формулировка утверждает, что «для любой непротиворечивой системы аксиом существует утверждение, которое в рамках принятой аксиоматической системы не может быть ни доказано, ни опровергнуто»."

http://elementy.ru/lib/430446

В мозгу эффект газировки :-)