"[S]uppose... we have proved... that the logical system, built... of... linguistic axioms... is consistent [and] we find a mathematical interpretation... [D]oes it follow... that such a mathematical system exists? Such... has never been proved... Thus... it is nowhere proved that a finite number, subjected to a provably consistent system of conditions, must always exist."