“Gödel's Incompleteness Theorems”的概念、定义、习题解题方法及翻译-数学辞典

单词

Gödel's Incompleteness Theorems

释义

Gödel's Incompleteness Theorems

Taken together, the two incompleteness theorems say that it is not possible to find a set of axioms for arithmetic which are totally adequate. The first theorem says no set of axioms for arithmetic can be consistent and complete. So, any formal system that proves certain basic arithmetic truths must contain an arithmetical statement that is true but which cannot be proved from the axioms. The second theorem is really just a tightening‐up of a particular aspect of the first incompleteness theorem. It states that if a set of axioms A is consistent then the consistency of A cannot be proved by A.

The key implication of these incompleteness theorems is that you might be able to prove all true statements about numbers (or, equivalently, about any other branch of mathematics) within a system by going outside the system to define new rules or axioms, but if you do so then you only create a larger system which will have its own unprovable statements.

随便看

数学辞典收录了4151条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。