## Articles

Introducing an indispensable tool of mathematical logic.

If you can prove that a statement can't possibly be false, does this mean it's true?

We take the real numbers for granted, but what are they really?

Take a quick trip to the foundations of probability theory.