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

Logical Consequence and the Semantic Theory of Proof

Quick fact

The semantic theory of proof shows that a proof's validity rests on the absence of any counterexample—not just the ones we can think of, but all imaginable ones.

Why this is interesting

You know a valid argument when you see one—but what makes it valid? Surprisingly, it's not about the facts but about all possible worlds.