Laws of Mathematics