En la lógica clásica hay teoremas que presuponen claramente que algo existe bajo el dominio que se está evaluando.