确立公理
理论沉淀