En su famosa conferencia de París, de 1900, David Hilbert decía que si la definición de un objeto matemático no es contradictoria en sí misma, entonces ese objeto existe. Salgamos un centímetro de la Matemática: la frase Hilbert nos permite asegurar que, en efecto, Holmes, sin duda, existe.