Habitante de un conjunto
Llamamos metafóricamente "habitante de α", o "habitante del universo α", a un supuesto sujeto para el cual el universo está compuesto únicamente por elementos de α. Dicho de otro modo, para este habitante, "existir" quiere decir pertenecer a α, ser elemento de α.
Para un tal habitante, una fórmula λ es comprendida como (λ)α la fórmula restringida a α. Él cuantifica en α.
Puesto que la auto-pertenencia está prohibida, α no pertenece a α. En consecuencia, el habitante de α no conoce a α. El universo de un habitante no existe para ese habitante.
