公理化有什么用啊

g公理化之后感觉没什么提升反而重新开始了