Things in mathematics are definitionally true. That's the whole system of axioms and proofs. Pi is pi because of our axioms. If you define things differently,

Things in mathematics are definitionally true. That's the whole system of axioms and proofs. Pi is pi because of our axioms. If you define things differently, pi doesn't have to be discovered at all.