Math is about formalizing "simple ideas" so that they can be reasoned about exactly.