Cadaguno d'istos patrons ye un esquema d'axiomas, una regla ta chenerar un numero infinito d'axiomas. Por eixemplo, si , , y  son variables proposicionals, alavez  y  son instancias d'o esquema 1 y por ixo mesmo, son axiomas. Se puet contrimostrar que nomás con istos tres esquemas d'axiomas y a regla d'inferencia modus ponens, se pueden contrimostrar todas as tautolochías d'o calculo proposicional. Tamién se puet prebar que garra parella d'istos esquemas ye prou ta contrimostrar todas as tautolochías emplegando o modus ponens. Iste conchunto d'esquemas axiomaticos tamién se fa servir en o calculo de predicaus pero son necesarios más axiomas lochicos.