Normalerweise ist das Formalisieren einer Theorie und das in dieser Tätigkeit zum Ausdruck kommende Streben nach einer möglichst präzisen Fassung der Theorie kein Selbstzweck.
Die Genese dieser Explizitdefinition kann so verstanden werden: Man formalisiert die beiden ersten Axiome, d. h. man abstrahiert von ihrem Inhalt.