An application of the formalization method involves carrying out the following stages.
1) Putting the original mathematical theory into symbols. In this all the propositions of the theory are written in a suitable logico-mathematical language $\mathcal L$.
2) The deductive analysis of the theory and the choice of axioms, that is, of a collection of propositions of the theory from which all other propositions of the theory can be logically derived.
3) Adding the axioms in their symbolic notation to a suitable logical calculus based on $\mathcal L$.
|||S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)|
Formalization method. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Formalization_method&oldid=39433