Saved on this device

Follow your curiosity

What discovery has been shared with you?

FACTREE gives you something interesting to discover every day — and something worth talking about together.

Start with one fact. Explore it, go deeper, then follow whichever branch catches your imagination.

Choose subjects for a surprise

Exploring any topic

Begin your discovery

Your next discovery is one click away.

Choose one or more subjects above, or leave Any Topic selected and let curiosity decide.

Mathematics

Diagonalization and Self-Reference in Mathematical Systems

Quick fact

In 1931, Kurt Gödel used a diagonalization argument to prove that in any consistent formal system powerful enough to express arithmetic, there exists a statement that is true but cannot be proven within that system. This shattered the dream of a complete, consistent foundation for all mathematics.

Why this is interesting

Have you ever seen a statement that talks about itself? A single sentence that seems to contradict its own meaning. But what if such self-reference could reveal the limits of all mathematics?