Si f est la cartographie de Gödel et si la formule C peut être déduite des formules A et B par une règle d'inférence r ; c'est-à-dire
Si f est la cartographie de Gödel et si la formule C peut être déduite des formules A et B par une règle d'inférence r, c'est-à-dire