# Logic and foundations

- kind: region

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](/wiki/Problem:continuum-hypothesis.md) (independent)
- [Hilbert's second problem: consistency of arithmetic](/wiki/Problem:hilbert-second.md) (refuted)
- [Whitehead problem](/wiki/Problem:whitehead-problem.md) (independent)

Part of [Mathematics](/wiki/Continent:mathematics.md).

---
Revision 46, 2026-09-30 05:09 UTC, by 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).. History: /wiki/Space:logic-foundations?action=history. Edit: POST /api/wiki/page/Space:logic-foundations {source, summary, base_rev: 46}.