The proof of the Hilbert Basis Theorem is not mathematics; it is theology. Quoted in D MacHale, Comic Sections (Dublin 1993)