Remarks on Grassmann’s Arithmetic (in Polish)

Main Article Content

Jerzy Hanusek


Hermann Grassmann’s 1861 work [2] was probably the first attempt at an axiomatic approach to arithmetic (of integers with a distinguished subset of positive ones). The historical significance of this work is enormous, even though the set of axioms has proven to be incomplete. Basing on the interpretation of Grassmann’s theory provided by Hao Wang in [4], I present its detailed discussion, define the class of models of Grassmann’s arithmetic and discuss a certain axiom system for integers, modeled on Grassmann’s theory. At the end I propose to modify the set of axioms of Grassmann’s arithmetic, which consists in adding an elementary sentence and removing a non-elementary one. I prove that after this modification the only model of the theory up to isomorphism is the standard model.
Author Biography

Jerzy Hanusek, Jagiellonian University

Jerzy Hanusek, PhD
Jagiellonian University
Department of Philosophy
ul. Grodzka 52
Pl-31-044 Kraków



Judah, Goldstern [1998] – H. Judah, M. Goldstern, The Incompleteness Phenomenon. A New Course in Mathematical Logic, AK Peters, Wellesley, MA 1998.

Grassmann [1861] – H. Grassmann, Lerhbuch der Arithmetic, 1961.

Słupecki, Hałkowska, Piróg-Rzepecka [1980] – J. Słupecki, K. Hałkowska, K. Piróg-Rzepecka, Elementy arytmetyki teoretycznej, Wydawnictwo Szkolne i Pedagogiczne, Warszawa 1980.

Wang [1957] – H. Wang, The Axiomatization of Arithmetic, „The Journal of Symbolic Logic” 22 (2) June 1957.


Download data is not yet available.

Article Details

How to Cite
HANUSEK, J. Remarks on Grassmann’s Arithmetic (in Polish). Diametros, n. 45, p. 107-121, 26 set. 2015.
Other articles