On the (in)dependence of the Dedekind-Peano axioms for natural numbers

Avatar
Hugo Nobrega
Professor