В видео: https://www.youtube.com/watch?v=k6U-i4gXkLM&t=2638s
профессор (около 43:50) говорит, что «вы хотели бы иметь систему, которая определяет ваши семантические ошибки, но это невозможно».Есть ли математическое подтверждение этому?