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