...a consistency proof for [any] system ... can be carried out only by means of modes of inference that are not formalized in the system ... itself.
But every error is due to extraneous factors (such as emotion and education); reason itself does not err.
All generalisations - perhaps except this one - are false.
All generalizations, with the possible exception of this one, are false.
I don't believe in empirical science. I only believe in a priori truth.
Either mathematics is too big for the human mind or the human mind is more than a machine.