公理理论-附录 垂直分析