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

Simple item page
dc.creatorAkpan, Etorobong Godwin
dc.date2022-12-31
dc.date.accessioned2023-08-21T07:25:00Z
dc.date.available2023-08-21T07:25:00Z
dc.descriptionThe 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.en-US
dc.formatapplication/pdf
dc.identifierhttps://globalresearchnetwork.us/index.php/ajshr/article/view/1847
dc.identifier.urihttp://dspace.umsida.ac.id/handle/123456789/10404
dc.languageeng
dc.publisher"GLOBAL RESEARCH NETWORK" LLCen-US
dc.relationhttps://globalresearchnetwork.us/index.php/ajshr/article/view/1847/1688
dc.sourceAmerican Journal of Social and Humanitarian Research; Vol. 3 No. 12 (2022): American Journal of Social and Humanitarian Research; 283-290en-US
dc.source2690-9626
dc.subjectaxiomatic methoden-US
dc.subjectmathematical logicen-US
dc.subjectmodel theoryen-US
dc.subjectinterpretationen-US
dc.subjectand bijectionen-US
dc.titleThe Axiomatic Method and Model Theory in Mathematics and Logic: An Expository Analysisen-US
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:eu-repo/semantics/publishedVersion
dc.typePeer-reviewed Articleen-US
Files
Collections
American Journal of Social and Humanitarian Research (AJSHR)