热心网友
什么都不是
热心网友
哥德尔（第一）不完备性定理是指，一旦一个公理系统复杂到超过或等价于算数公理的程度，那么这个系统中必然存在这样的命题（这个命题就是按照这个系统中所允许的构成命题的方式构造出来的，并不是其它系统的命题），不可能通过逻辑推理过程导出该命题或该命题的否定。哥德尔第二不不完备性定理指出：“这样一个公理系统是相容的”这个命题就是不能在这个系统内部导出真假的命题之一。哥德尔定理的含义是：无论什么样的技术手段，一个复杂到一定程度的公理系统都能够找到它不能导出的命题，也就是不能通过推导判断其真假。