En cálculo proposicional es común tomar como axiomas lógicos todas las fórmulas siguientes: 1.) 2.) 3.) , donde , , y pueden ser cualquier fórmula en el lenguaje. Cada uno de estos patrones es un esquema de axiomas, una regla para generar un número infinito de axiomas. Por ejemplo si p, q, y r son variables proposicionales, entonces y son instancias del esquema 1 y por lo tanto son axiomas.