Lectures on the Philosophy of Mathematics

by Joel David Hamkins

Just as Frege defined numbers as equinumerosity classes, we now may define the integers simply to be the equivalence classes of pairs of natural numbers with respect to the same-difference relation.