Obviamente una definición formal se hace en el marco de una teoría matemática en la que se por tanto se parte de la existencia de determinados objetos.