永远不能被使用的数学演绎的例子