Después de proponer en "Ausdehnungslehre" nuevas bases para todas las matemáticas, el trabajo empieza con definiciones de naturaleza más bien filosófica.