Neti Neti' — 'not this, not this' — from the Brihadaranyaka Upanishad mirrors Gödel's incompleteness theorems perfectly. Brahman cannot be captured by finite description. Neither can mathematical truth. Ancient rishis and a 20th century mathematician pointing at the same void. Every theme, every counterpoint, every dissonance longs for harmony. Even if we never hear the final chord, it exists — not in the air perhaps, but in the mind of the Composer.' Imaginary Bach to Gödel Gödel proved that in any mathematical system, there are true statements that cannot be proven within that system. Samuel Navarro asks: does the same apply to faith, beauty, and purpose? 'Gödel and the Incomplete Proof' — the most important question mathematics never meant to ask.