Ahora bien, el calificativo de esquema se debe a que no es un único axioma, sino que este afirma (metamatemáticamente) que cualquier expresión de la forma