Why is math always right?

An introduction to formal systems and why they work