是否有数学上的证据表明无法设计错误错误检测系统？

Question

在视频中： https://www.youtube.com/watch?v=k6U-i4gXkLM&t=2638s

教授（大约43:50）说：“您希望拥有一个能够发现您的语义错误的系统，但这是不可能的”。 有数学证明吗？