Addenda et corrigenda to: “The arithmetic of the even and the odd”. (English) Zbl 1382.03080

Summary: We correct two typos and an error in [the second author, ibid. 9, No. 2, 359–369 (2016; Zbl 1381.03041)], and provide an axiom system for a weak arithmetic in which the fact that a square root of an integer is either irrational or an integer can be proved.


03F30 First-order arithmetic and fragments


Zbl 1381.03041
Full Text: DOI


[1] DOI: 10.4169/amer.math.monthly.120.10.867 · Zbl 1358.11012
[2] The Elements, translated with introduction and commentary by Sir Thomas L. Heath (1956)
[3] DOI: 10.1017/S1755020315000386 · Zbl 1381.03041
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.