Das Zeichen Der Ausdruck einer allgemeinen Regel ist auch ein Zeichen daß in einem Kalkül gebraucht werden muß (nur anders als andere Zeichen)

✓ ✓