Please register ( or log-in ) to create and edit pages

User Tools

    Please register ( or log-in ) to create and edit pages
  • Register

Site Tools


Main Menu

Main menu
[ Click categories to expand ]

Other categories

For tests only


Also see:

Content Guidelinesplugin-autotooltip__plain plugin-autotooltip_bigContent guidelines

Ideas for new topics are always welcomed, from experts and non-experts alike - if you're not sure if they'll be accepted by other editors, put them in the 'proposed_content' section for approval. The easiest way to create a new page is to use the

Registrationplugin-autotooltip__plain plugin-autotooltip_bigRegistration

At present, only registered users can create and edit articles. The registration process is very straightforward. Just click the 'Register' link at the top right of any page.

After you've registered, you'll be able to login with your password at any time…

How to edit pagesplugin-autotooltip__plain plugin-autotooltip_bigEditing pages

Once you're logged in, a grey floating 'Tool' menu at the right hand side of the screen enables access to all the main 'Content Pages' for editing. (Note: Some pages, such as the site info etc. are locked)

Like most Wikis, the site doesn't use

Importance Ratingsplugin-autotooltip__plain plugin-autotooltip_bigImportance ratings

In a departure from the usual Wiki format, Wikenigma assigns 'Importance Ratings' to some pages.

The idea is to separate articles which are considered (by the editors) to cover exceptionally important unknown issues from those which (although also u…

Faqplugin-autotooltip__plain plugin-autotooltip_bigFrequently Asked Questions

Q. Why the weird syntax? A. Like most Wikis, the site doesn't use HTML for formatting (security reasons etc). A guide to the special syntax can be found here. Unfortunately it can be quite confusing at first - but there's now a new 'Visual …

Newsplugin-autotooltip__plain plugin-autotooltip_bigNews

[ newest at the top ]

• Oct 2020 : A milestone of 500 unknown articles has been reached.

• Aug 2020 : Currently (beta) testing the new 'WYSIWYG' (What You See Is What You Get) page editor. It greatly simplifies the editing process, avoiding the need to learn th…

Contactsplugin-autotooltip__plain plugin-autotooltip_bigContacts

Use this form to send a message to Wikenigma . . . [ * note: all fields must be completed ]

Legalplugin-autotooltip__plain plugin-autotooltip_bigLegal

Content in general

Please note that in common with other publicly editable wikis, this website is not responsible for content posted by the public. Nevertheless, the ongoing editing process should be able to remove unsuitable content in a reasonable time. If you…


533 unknowns listed

Wikenigma supports:

plugin-autotooltip__plain plugin-autotooltip_bigDonate to Wikenigma . . .

The best way to donate is by adding new original content !

That can either be by contributing to an existing article, or by creating a new page with an as-yet-unlisted 'Known Unknown'.

Any registered user can create content.

A-Z listing
rss / xml feed
sitemap file

Wikenigma - an Encyclopaedia of Unknowns Wikenigma - an Encyclopaedia of the Unknown Science

Gödel's incompleteness theorems

“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

Note: 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.


    Share this page :


DOKUWIKI IMPLEMENTATION DESIGN BY UNIV.ORG.UK