So hatte ich den Begriff der natürlichen Zahl bisher nicht verstanden:

Consequence [des Kompaktheitssatzes, DL]: any theory that has an infinite model has models of arbitrary large cardinality. So, for instance, there are nonstandard models of Peano arithmetic with uncountably many natural numbers.