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