Zu 6˙23
Es charakterisiert die logische Form zweier Ausdrücke, daß sie durch einander ersätzbar sind.