Una definición implícita de la existencia