I numeri naturali <unk> 0, 1, 2, 3, e così via <unk> iniziano con 0 e continuano verso l'alto, in modo che ogni numero abbia un successore. Si possono estendere i numeri naturali con i loro negativi per dare tutti gli interi, e per estendersi ulteriormente ai rapporti, dando i numeri razionali. Questi sistemi numerici sono accompagnati dall'aritmetica dell'addizione, sottrazione, moltiplicazione e divisione. Più sottile, includono l'ordine, in modo che un numero possa essere confrontato con un altro e riscontrato essere inferiore, maggiore o uguale a un altro numero. Domanda: Che teoria usano per definire i numeri reali?
teoria degli insiemi assiomatica