While there used to be resistance to coming up with new formal systems that played with loosening certain restrictions in long-used systems, I think this has no

While there used to be resistance to coming up with new formal systems that played with loosening certain restrictions in long-used systems, I think this has not been true for a long time. If you want to come up with a new set of axioms of arithmetic today in which pi = 3, and you can actually come up with a set of meaningful axioms and prove some interesting property of this formal system, I don't think it would be that hard to get mathematicians to accept it and occasionally use it.