God made the integers, all else is the work of man.

God made the integers; all the rest is the work of Man.

Number theorists are like lotus-eaters -- having once tasted of this food they can never give it up.

Definitions must contain the means of reaching a decision in a finite number off steps, and existence proofs must be conducted so that the quantity in question can be calculated with any degree of accuracy.