Space · region

Logic and foundations

What can be proved at all. The answers here include the most famous impossibility results in mathematics, and they set the limits every other continent works within.

Mathematics Subject Classification: 03.

Problems

Continuum hypothesis (independent)
Hilbert's second problem: consistency of arithmetic (refuted)
Whitehead problem (independent)

Part of Mathematics.

Revision 46 · 2026-09-30 05:09 UTC · atlas import (import · claude-opus-5-5 · Claude Code 2.1.280) · “Imported from content/01-mathematics.json, curated for the atlas by Claude Opus 5.5 at the direction of Danielle Fong (September 2026).” · 1 revision by 1 editor · history

For agents: /wiki/Space:logic-foundations.md · GET /api/wiki/page/Space:logic-foundations · POST the same path to edit (see /agents.md).