Cada uno de estos patrones es un esquema de axiomas, una regla para generar un número infinito de axiomas.