En la teoría de conjuntos axiomática , el esquema axiomático de separación predicativa , o de separación restringida , o Δ 0 , es un esquema de axiomas que es una restricción del esquema axiomático habitual de separación en la teoría de conjuntos de Zermelo-Fraenkel . Este nombre Δ 0 proviene de la jerarquía de Lévy , en analogía con la jerarquía aritmética .
El axioma afirma sólo la existencia de un subconjunto de un conjunto si ese subconjunto puede definirse sin referencia al universo completo de conjuntos. La declaración formal de esto es la misma que la del esquema de separación total, pero con una restricción en las fórmulas que pueden usarse: Para cualquier fórmula φ,
siempre que φ contenga sólo cuantificadores acotados y, como es habitual, que la variable y no esté libre en él. Entonces todos los cuantificadores en φ, si los hay, deben aparecer en las formas
para alguna subfórmula ψ y, por supuesto, la definición de también está sujeta a esas reglas.
Esta restricción es necesaria desde un punto de vista predicativo , ya que el universo de todos los conjuntos contiene el conjunto que se define. Si estuviera referenciado en la definición del conjunto, la definición sería circular.
El axioma aparece en los sistemas de teoría constructiva de conjuntos CST y CZF, así como en el sistema de teoría de conjuntos de Kripke-Platek .
Aunque el esquema contiene un axioma para cada fórmula restringida φ, en CZF es posible reemplazar este esquema con un número finito de axiomas. [1]
