 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
Axiomatization
editDid Skolem himself write down any axiomatization for his arithmetic? Can this arithmetic have any complete axiom system, just as Presburger arithmetic can? 185.46.78.67 (talk) 07:16, 3 May 2019 (UTC)
Definition
editCould someone include an explicit definition of this theory? Thanks! -Filozofo (talk) 22:05, 2 February 2024 (UTC)