Die Grundlagen der Arithmetik
Die Grundlagen der Arithmetik
Reductions of arithmetic, whether to set theory or to a theory formulated in a higher-order logic, must prove the infinity of the sequence of natural numbers.In his Was sind und was sollen die Zahlen?, Dedekind attempted, in the notrious proof of Theorem 66 of that work, to demonstrate the existence …