Til evigheten -- og forbi: En kort historie om uendelighet fortalt i ZF

Abstract

Denne oppgaven utspiller seg i det formelle systemet ZF, hvor vi konstruerer de naturlige tallene, og mer generelt ordinalene. Videre beskriver vi aritmetikken til de to tallsystemene, og til slutt konstuerer vi von Neumanns hierarki av arvelig velgrunnede mengder.

This thesis is told in the formal system ZF, wherein we construct the natural numbers, and, more generally, the ordinals. We then describe the arithmetic of these two number systems, and finally we construct the von Neumann hierarchy of hereditarily well-founded sets.