The proof of the Hilbert Basis Theorem is not mathematics; it is theology.

Quoted in D MacHale, Comic Sections (Dublin 1993)