Can the existence of a mathematical entity be proved without defining it ?