En la teoría determinada, un universal determinado es un sistema que contiene todos los objetos, incluyendo sí mismo. La teoría determinada ancho-estudiada con un sistema universal es fundaciones de s de Willard Van Orman Quine las' nuevas, pero la iglesia de Alonzo y trabajo también publicado sobre tales teorías determinadas. La iglesia especuló que su teoría pudo ser de una forma constante ampliado con Quine, pero esto no es posible para Oberschelp, puesto que en ella la función del singleton es demostrable un sistema, que lleva inmediatamente a la paradoja en nuevas fundaciones.

La teoría determinada de Zermelo-Fraenkel y las teorías determinadas relacionadas, que se basan en la idea de la jerarquía acumulativa, no permiten la existencia de un sistema universal.

Ver también