The Axiomatic Method and Model Theory in Mathematics and Logic: An Expository Analysis


  • Etorobong Godwin Akpan Department of Philosophy University of Port Harcourt



axiomatic method, mathematical logic, model theory, interpretation, and bijection


The paper is concerned with the investigation of the concepts of axiomatic method and model theory. The purpose of the paper is an expository one. The study was warranted by the wanton approach in mathematical logic textbooks, where authors punish readers by presupposing a knowledge base that the latter do not possess. The methods adopted for the study are content analysis and the traditional historical approach. The paper has demonstrated the features of the axiomatic method and how such features have evolved over time, as well as their application in formalisms. It has also been shown that model theory, just as proof theory, is a necessary corollary of the axiomatic method. The paper concludes by presenting a sample model of an abstract formalism.


Ajdukiewicz, Kazimierz (1966). “From the Methodology of Deductive Sciences”. Studia Logica. (19). Pp. 9 - 46.

Blanche, Robert (1965). Axiomatics. London: Routledge and Kegan Paul.

Bocher, Maxime (1904). “The Fundamental Conceptions and Methods of Philosophy”. Bulletin of American Mathematical Society. (10). Pp. 15 - 135.

Bridge, Jane (1977). Beginning Model Theory. Oxford: Clarendon Press.

Gödel, Kurt (1986). Collected Works Volume 1. Ed. Solomon Feferman: Oxford: Oxford University Press.

Gödel, Kurt (1990). Collected Works Volume 2. Ed.Solomon Feferman. Oxford: Oxford University Press.

Gödel, Kurt (1995). Collected Works Volume 3. Ed. Solomon Feferman. Oxford: Oxford University Press.

Hamilton, A. G (1978). Logic for Mathematicians. Cambridge: Cambridge Univesity Press.

Mancuso, Paolo, et al (2003). “The Russellian influence on Hilbert and his School”. Synthese. (137). Pp. 59- 101. Web. 12 June, 2005.

Mancuso, Paolo, et al (2001). The Development of Mathematical Logic from Russell to Tarski: 1900 - 1935. Oxford: Oxford University Press. Web. 12 June, 2005.

Resnik, Michael (1980). Frege and the Philosophy of Mathematics. London: Cornet University Press.

Skolem, Thoralf (1970). Selected Works in Logic. Oslo: Universitetsferlaget.

Tarski, Alfred (1951). A Decision Method for Elementary Algebra and Geometry. Berkeley: University of California Press. Web. 5 April, 2007.

Tarski, Alfred (1983). Logic, Semantics, Mathematics. Ed. John Corcoran. Indianapolis: Hacket. Web. 5 April, 2007.

Thompson, Ross (1990). Holy Ground: The Spirituality of Matter. London: SPCK.

Wilder, Raymond (1955). Introduction to the Foundations of Mathematics, New York: John Wiley and Sons.




How to Cite

Akpan, E. G. . (2022). The Axiomatic Method and Model Theory in Mathematics and Logic: An Expository Analysis. American Journal of Social and Humanitarian Research, 3(12), 283–290.