Die Eigenschaft der Definitheit eines Axiomensystems bzw. einer Mannigfaltigkeit zeichnet für Husserl den prägnanten Begriff einer Mannigfaltigkeit aus. Er versteht ihn als ein verborgenes Ideal der Axiomatisierung. Unter einer definiten Mannigfaltigkeit versteht er ein Gebiet, für das es die Einheit einer theoretischen Erklärung gibt, d.h. jede in diesem Gebiet gültige Wahrheit ist eine Folge der Axiome. Ein definites Axiomensystem ist dadurch ausgezeichnet, daß jeder aus seinen Grundbegriffen zu bildende Satz entweder eine Folge aus den Axiomen ist oder daß er im Widerspruch zu ihnen steht.¹