(1) Axiomatization of economic theory has many obvious advantage.

(2) These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.

(3) Based on the axiomatization definitions of subsethood measure and similarity measure, similarity measuer induced by subsethood measure is discussed, and some real induced formulas are given.

(4) Therefore no formal system is a true axiomatization of full number theory.

(5) The author stresses the two thought approaches between ancient math mechanization and western axiomatization, and their leading and alternative role in the stages of math development in the world.

(6) The formal basis of the representation is presented in detail, from the axiomatization of time periods to the relationship between actions and events and their effects.

(7) To verify the properties of the concurrent and reactive systems based on the theorem proving approach, an axiomatization is formulized for the first order projection temporal logic (FPTL).

(8) This paper deals with the existence of the finite complete axiomatization for data dependencies.