点评：正像哥德尔不确定性定理指出的那样，一个足够复杂的逻辑系统一定有无法证明的真命题，而这就是一个精巧的例子：尽管大家都知道中国特色社会主义行，但是一旦尝试去论证却会离相反的结论越来越近，最终论证者将会不复存在。正是这个问题终结了希尔伯特“我们必将知道”的痴心妄想，得出了“不用知道得那么细”的逻辑原则。