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

Эту хрень пришлось доказывать на последнем экзамене. Как-то слишком сильно перемешались в мозгах 2 части мира: та, которая описывается математической логикой, и та которая нет. И лезть в одну с методами другой - опасно. Но попробуем. В чём суть этой теоремы? Если описывать любую теорию(Курт Гедель говорил -арифметику, но неважно) какой-то совокупностью аксиом, то это множество неизбежно будет либо неполным, либо противоречивым. Если неполным - значит, из него нельзя вывести все истинные в этой теории формулы. А если противоречивым - то формулы-то можно вывести все, только вот для некоторых истиной будет и сама формула, и её отрицание.Каждый выбирает себе модель мира по вкусу: кто-то воюет с ветряными мельницами, а побеждает великанов: и он счастлив, для него всё в мире логично, верно и устроено по одному и тому же шаблону(особенно к некоторым церковникам - это уже клинический случай, когда человек абсолютно не слышит другого, а сразу, с первых слов раскладывает его по полочкам своей теории и навешивает более-менее подходящий ярлык). Люди боятся того, чего не понимают - а с ярлыками жить гораздо проще. Это неполная система аксиом о мире: видишь лишь то, что укладывается в твою теорию. Бывает и пдругому: послушаешь одного - конечно, он прав, кто б спорил! Сильный жрёт слабого, если ты не волк, ты -овца... Но вот говоришь с другим и не можешь не согласиться. Потом приходит в голову сопоставить с тем, что слышал - это же противоположные вещи! У каждого есть своя внутренняя свобода, которую у него не отнять, которая кончается там, где начинается чужая свобода...А кто-то говорит, что надо возрождать дух Древней Руси, когда даже незнакомые люди приветствовали друг друга кивком, когда девушки похожи были на лебедей, а не на накрашенных кикимор...И вроде тоже верно...Если так, то аксиомы охватывают всё. Но на фиг они нужны, если они друг другу противоречат! Мне второй вариант нравится больше(хватит, побыли уж адептом Богородичного Центра, когда всё было просто, ясно...и дебильно), но может есть ещё третий? Плюнуть на все эти теоремы, аксиомы, воспринимать жизнь такой, какая она есть, признать, что смысл - чисто человеческое понятие, которого нет в природе? А какая она, жизнь? Как бы я хотел разбить все эти зеркальные двери!