/  
∣ Hilbert stellt Regeln eines bestimmten Kalküls als Regeln
der
einer
Metamathematik auf. ∣