Ontólogo
Llamamos ontólogo a un habitante del universo entero de la teoría de conjuntos. El ontólogo cuantifica y define parámetros sin restricción. Para el ontólogo, el habitante de un conjunto α tiene una visión totalmente limitada de las cosas. El ontólogo ve a ese habitante desde afuera.
Una fórmula es absoluta para el conjunto α si tiene el mismo sentido (cuando sus parámetros fueron fijados en α) y la misma veridicidad para el ontólogo y para el habitante de α.
