Læren om uendelighet er sentral i mengdelæren, og Georg Cantor viste at uendelige mengder kan ha forskjellige størrelser. Skolem hadde liten tiltro til den rådende oppfatningen av uendelighetsbegrepet, og han ble en av grunnleggerne av teorien om endelighet i matematikken. Dette er en ekstrem form for konstruktivisme, som dreier seg om at et matematisk objekt kun eksisterer hvis det kan konstrueres av de naturlige tallene i et endelig antall steg.