**Main menu**

_{[ Click categories to expand ]}

**Other categories**

For tests only

**Also see:**

**Content Guidelines**

**Registration**

**How to edit pages**

**Faq**

**News**

**Contacts**

**Legal**

Please register and/or login to edit and create pages

- Create a new article
- Show a random article

or use the main menu below to navigate

**Main menu**

_{[ Click categories to expand ]}

**Other categories**

For tests only

**Also see:**

**Content Guidelines**

**Registration**

**How to edit pages**

**Faq**

**News**

**Contacts**

**Legal**

start:mathematics:goedel_incompleteness

This item is one of a special case **Known Unknowables**

i.e. in an area where it can be *proved* that we will never be able to resolve an answer.

“Gödel proved that, within any axiomatic framework for mathematics there are mathematically true statements that we will never be able to prove are true within that framework.”

* Source:* Marcus du Sautoy, What We Cannot Know: Explorations at the Edge of Knowledge

Gödel developed two theorems dealing with the subject :

“The first incompleteness theorem states that no consistent system of axioms whose theorems can be listed by an effective procedure (i.e., an algorithm) is capable of proving all truths about the arithmetic of the natural numbers. For any such formal system, there will always be statements about the natural numbers that are true, but that are unprovable within the system.

The second incompleteness theorem, an extension of the first, shows that the system cannot demonstrate its own consistency.”

Further info at Wikipedia

DOKUWIKI IMPLEMENTATION DESIGN BY UNIV.ORG.UK