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