Раскройте суть и значение двух теорем Курта Гёделя о неполноте. Объясните условия, необходимые для формальной системы, чтобы к ней применимы были эти теоремы (непротиворечивость, достаточная выразительность). Опишите, как эти теоремы ограничивают возможности аксиоматических систем и доказывают, что существуют истинные утверждения, которые невозможно доказать в рамках самой системы.