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