If he contend, as sometimes he will contend, that he has defined all his terms and proved all his propositions, then either he is a performer of logical miracles or he is an ass; and, as you know, logical miracles are impossible.

Mathematical Philosophy: A Study of Fate and Freedom