Axiomatik der Begriffe für die Automatisierungstechnik