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 ...