>Публика действительно неглупая, я надеюсь.
>
> .....
>Для справки:
>В 1931 году австрийский математик Курт Гёдель, специалист
>по теории множеств, доказал свою знаменитую теорему о
>неполноте формальных систем. Согласно этой теореме, любая
>процедура доказательства истинности утверждений средствами
>формальной математики обречена на неполноту. Это означает,
>что "неопровержимое" математическое обоснование любой
>гипотезы не может являться гарантией ее истинности.
>Оказывается, одной математики недостаточно для
>формулировки каких-либо окончательных выводов – до тех пор
>пока факты не подтвердят или не опровергнут
>гипотезу.
>Кого интересует, тот может изучить этот вопрос
>самостоятельно. Это доказанная теория о математике от
>математика и признанная математиками.

Вот и изучайте, поскольку Вы смысл теоремы не поняли абсолютно. В контексе данного разговора она совершенно не к месту.