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

Mathematical Logic

Quick fact

The mathematician Kurt Gödel shocked the world in 1931 by proving that any sufficiently powerful formal system contains true statements that cannot be proved within the system itself.

Why this is interesting

You use logic every day to make decisions, but mathematical logic turns reasoning into a precise, symbolic machine—and it reveals that some mathematical truths can never be proven.