5.7 公理化方法