D'naturell Zuelen <unk> 0, 1, 2, 3, an esou weider <unk> fänken mat 0 un an weider erop, sou datt all Zuel en Nofolger huet. Een kann d'naturell Zuelen mat hiren Negativen erweideren fir all déi ganz Zuelen ze ginn, an weider ze verlängeren op Verhältnisser, déi déi rational Zuelen ginn. Dës Zuelsystemer ginn begleet vun der Arithmetik vun der Zousatz, Subtraktioun, Multiplikatioun an Divisioun. Méi subtil, si enthalen Uerdnung, sou datt eng Zuel mat enger anerer verglach ka ginn an fonnt ka ginn manner wéi, méi wéi oder gläich zu enger anerer Zuel. Fro: Wat fir eng Theorie benotze se fir real Zuelen ze definéieren?
axiomatesch Sätz Theorie