Since A1 proposed a new foundation for all of mathematics, the work began with quite general definitions of a philosophical nature.
Despois de propor en Ausdehnungslehre novas bases para toda as matemáticas, o traballo empeza con definicións de natureza máis ben filosófica.