矛盾的证明

现在让捣蛋程序去检查它自己，麻烦来了：它停，就该不停；它不停，又该停。怎么都自相矛盾。矛盾说明最初的假设错了——那个万能检查器根本不存在。