Title: A theory of positive integers in formal logic
Subjects: Arithmetic, Foundations, Symbolic and mathematical Logic