En lógica matemática , un esquema axiomático (plural: esquemas axiomáticos o esquemas axiomáticos ) generaliza la noción de axioma .
Un esquema axiomático es una fórmula en el metalenguaje de un sistema axiomático , en la que aparecen una o más variables esquemáticas . Estas variables, que son construcciones metalingüísticas, representan cualquier término o subfórmula del sistema, que puede o no requerirse para satisfacer ciertas condiciones. A menudo, tales condiciones requieren que ciertas variables sean libres , o que ciertas variables no aparezcan en la subfórmula o término [ cita requerida ] .
Dado que el número de posibles subfórmulas o términos que pueden insertarse en lugar de una variable esquemática es infinito, un esquema axiomático representa una clase o conjunto infinito de axiomas. Este conjunto a menudo puede definirse recursivamente . Una teoría que puede axiomatizarse sin esquemas se dice que es finitamente axiomatizable .
Dos ejemplos bien conocidos de esquemas axiomáticos son:
Czesław Ryll-Nardzewski demostró que la aritmética de Peano no puede axiomatizarse finitamente, y Richard Montague demostró que la ZFC no puede axiomatizarse finitamente. [1] Por lo tanto, los esquemas axiomáticos no pueden eliminarse de estas teorías. Esto también es así para muchas otras teorías axiomáticas en matemáticas, filosofía, lingüística, etc.
Todos los teoremas de ZFC son también teoremas de la teoría de conjuntos de von Neumann–Bernays–Gödel , pero estos últimos pueden axiomatizarse finitamente. La teoría de conjuntos New Foundations puede axiomatizarse finitamente mediante la noción de estratificación .
Las variables esquemáticas en la lógica de primer orden suelen ser trivialmente eliminables en la lógica de segundo orden , porque una variable esquemática suele ser un marcador de posición para cualquier propiedad o relación sobre los individuos de la teoría. Este es el caso de los esquemas de inducción y reemplazo mencionados anteriormente. La lógica de orden superior permite que las variables cuantificadas abarquen todas las propiedades o relaciones posibles.