, мы маемся тут дурью, не поспевая за дурью политиков и мира, а профессионалы создают такие бриллианты (Курт Гёдель, 1930 год) 
:Теорема1 (о неполноте систем).
В формальной перечислимой непротиворечивой системе существуют утверждения, которые невозможно ни доказать, ни опровергнуть в рамках этой системы.
Теорема2 (о невозможности доказательства непротиворечивости).
Невозможно доказать непротиворечивость формальной перечислимой системы только её собственными средствами.
