"Formale Definitionen" sind Beschreibungen, die im Unterschied zu eigentlichen Definitionen nicht - inhaltlich gebundene - Oberbegriffe, sondern Kategorien-Bezeichner einführen, die auf inhaltsleere Referenzobjekte verweisen.

Beispiel:
System definiere ich, indem ich vom Automaten abstrahiere, was ihn als Werkzeug auszeichnet. Ein System ist ein formaler Automat, in welchem vom eigentlichen Automaten nur noch die Funktionsweise aufgehoben ist. Automat ist kein Oberbegriff zu System.