公理関係の進展:基本公理から複雑な定理への演繹的経路