Теоремы Гёделя о неполноте: Математическое доказательство «истины, которую абсолютно невозможно доказать»