That which Hilbert failed to establish in Formalism — that is to say a system of pure signs which would never lead to inconsistency or contradiction — cannot be found in mathematics. Gödel’s arrow felled this nascent Leviathan…

But long before Hilbert, and here amongst us now, there are ‘näive geniuses’ who understand that…

…the sky is what Hilbert overlooked.