Does mathematics need new axioms?