I avhandlingen konstrueras de naturliga talen utgående från mängdlärans axiom. Från de naturliga talen och deras egenskaper som bevisas i arbetet fortskrider avhandlingen steg för steg till de hela talen, de rationella talen och de reella talen.
Bland de första stegen visar vi att det existerar en induktiv mängd som satisfierar Peanos axiom. Sedan bevisas rekursionsteoremet som används för att bygga upp aritmetiken för de naturliga talen.
Genom ekvivalensrelationen〈 m,n 〉∼〈 p,q 〉⇔ m+q = p+n konstrueras de hela talen som ekvivalensklasserna Z = (N × N)/∼. I arbetet bevisas grundläggande aritmetiska regler för de hela talen samt gällande ordningsrelationen.
På ett liknande sätt konstrueras mängden av rationella tal från mängden av hela tal med hjälp av ekvivalensrelationen〈 a,b〉∼〈 c,d〉 ⇔ ad = bc där a, b, c, d ∈ Z. I arbetet bevisas att mängden av rationella tal bildar en kropp. Även talföljder och därmed även fundamentalföljder studeras som en förberedelse för konstruktionen av de reella talen.
I det sista steget, där vi konstruerar de ekvivalensrelationer som bygger upp de reella talen, så används en annan metod till skillnad från de hittills algebraiska metoderna. Ekvivalensrelationen baserar sig på fundamentalföljder i mängden av rationella tal. Vi definierar en ekvivalensrelation (x_n) ∼ (y_n) i mängden av fundamentalföljder F_Q genom gränsvärdet L(x_n − y_n) = 0. Förutom att egenskaper för räkneoperationerna och ordningsrelationen bevisas, så visas även att mängden av de reella talen är fullständig.
Som avslutning till avhandlingen granskas isomorfier mellan de konstruerade mängderna och icke-numrerbarheten av mängden reella tal.
