Title: Methodological Considerations on the Constructed Theory
Abstract:Abstract In the two preceding chapters we sketched the foundations of an elementary mathematical theory, which constitutes a fragment of arithmetic. In the present chapter we shall continue with a met...Abstract In the two preceding chapters we sketched the foundations of an elementary mathematical theory, which constitutes a fragment of arithmetic. In the present chapter we shall continue with a methodological discussion, and we shall be concerned at first with the system of axioms and primitive terms upon which that theory is based. We begin with concrete examples which illustrate the considerations of Section 39; these examples relate to such problems as arbitrariness in the selection of axioms and primitive terms, the possibility of omitting superfluous axioms, and so on.Read More
Publication Year: 1994
Publication Date: 1994-01-06
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot