SippingSpiderVenom wrote:
Yes.
Math is discovered and the discoveries are defined by previous axioms or definitions. Verification is the only requirement.
The methods of discovery, definition and verification vary greatly by circumstance and era.
What if new axioms and definitions are created? And what if new systems of logic are adopted? There are many non-standard logics which spawn their own fields of mathematics and have a different math proof process. These logics have been created.
If you, for example, remove the law of excluded middle from the standard logic, you will get a rather different field of math, called constructive math.
If you remove the distributive law, you will get a field of logic called quantum logic, which is used in quantum mechanics.