'"Either mathematics is too big for the human mind, or the human mind is more than a machine."

Gödel is one of the greatest logicians of all time. Famous for his completeness and his incompleteness theorems. Also well known is his proof of the consistency of the axiom of choice with the Zermelo-Fraenkel axioms of set theory.'