Els nombres naturals <unk> 0, 1, 2, 3, i així successivament <unk> comencen amb 0 i continuen cap amunt, de manera que cada nombre té un successor. Es poden estendre els nombres naturals amb els seus negatius per donar tots els enters, i per estendre encara més a les proporcions, donant els nombres racionals. Aquests sistemes numèrics s'acompanyen de l'aritmètica de l'addició, la resta, la multiplicació i la divisió. Més subtilment, inclouen l'ordre, de manera que un nombre es pot comparar amb un altre i es troba que és menor que, major que o igual a un altre nombre. Pregunta: Quina teoria utilitzen per definir els nombres reals?
teoria axiomàtica dels conjunts