Last updated: February 10, 2026

Reality Escapes Us: Truths We Can Never Prove

Abstract representation of a mathematical statement that is true but unprovable, with logical symbols and an infinite horizon — A truth without proof: at the heart of the labyrinth of knowledge, a glimmer that logic cannot grasp.
Image source: astronoo.com

The Theorem That Says "No" to Absolute Certainties

In every field where we try to understand everything, whether physics, the universe, or even human thought, some questions will always remain unanswered, some truths will always elude our theories. Even at the heart of the most abstract rigor—mathematics—there are zones of silence, statements that are true but impossible to prove. This limit is an invitation to humility, pushing us to keep our minds inventive and open. This is what Gödel's incompleteness theorem reveals.

Kurt Gödel (1906-1978), an Austrian mathematician, revolutionized our relationship with logic. His discovery, simple in appearance, is dizzying: in any formal system (i.e., without contradiction) capable of describing arithmetic, there are statements that are true but unprovable within that system. In other words: in this system, there are sentences whose truth or falsity cannot be determined, even if they are perfectly well-formed. This small flaw, far from being a disaster, is a fundamental property of logic. It makes the universe of ideas richer, more mysterious, and infinitely more interesting.

The Astronomer Trapped by His Own Galaxy

An astronomer living inside an immense galaxy has a perfect telescope, supposedly universal physical laws, and a fundamental rule: "Every observation must be confirmable by another observer located elsewhere in the universe."

He seeks to measure the exact speed of his own galaxy relative to the cosmic background. But here's the problem:

To measure a speed, a fixed external reference point is needed.
Any reference point he chooses (another galaxy, a quasar) is itself in motion.
He cannot leave his galaxy to see it from the outside.
He also cannot interpret his measurements without making an assumption about what he cannot see.

He then formulates a statement that (implicitly) says: "The speed of my galaxy cannot be measured from inside my galaxy."

This statement is true; it is a physical fact, not an opinion. But he cannot prove it with his internal instruments alone, because any proof would require stepping outside the system (the galaxy) he is studying.

What This Metaphor Teaches Us

Just as an astronomer cannot measure the speed of his own galaxy without an external point of view, a mathematical system cannot prove all its own truths. This is not a limitation of the instrument, but a property of the system itself.

Even Simpler: The Example of Copernicus

To determine if our Earth rotates, Copernicus had to change his point of view, to observe from elsewhere. But what if we want to measure the motion of the entire universe? Impossible: we have no "elsewhere." Gödel discovered the same thing in mathematics: to prove certain truths, we would have to step outside the system. And that is precisely what we cannot do.

Why Incompleteness Is Good News

If everything were provable, knowledge would be a vast, surprise-free catalog. Incompleteness reminds us that the mathematical universe—and perhaps the physical universe—contains depths that we can never exhaust. There will always be true statements, like the exact age of the universe, that our reasoning will never reach.

What to Remember

Far from being a failure, incompleteness is a window into the inexhaustible real. Every logical system, no matter how rich, leaves in the shadows truths that elude it. The limits highlighted by Gödel are therefore not an accident of arithmetic, but a deep feature of any sufficiently expressive formal system. This is how the universe, whether mathematical or physical, retains its mystery and its power to fascinate.