The more I think about language, the more it amazes me that people ever understand each other at all.

But every error is due to extraneous factors (such as emotion and education); reason itself does not err.

The development of mathematics towards greater precision has led, as is well known, to the formalization of large tracts of it, so that one can prove any theorem using nothing but a few mechanical rules.

I don't believe in natural science.

The axiomatic method is very powerful

...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.

Nothing new had been done in Logic since Aristotle!