The development of mathematics toward 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... One might therefore conjecture that these axioms and rules of inference are sufficient to decide any mathematical question that can at all be formally expressed in these systems. It will be shown below that this is not the case, that on the contrary there are in the two systems mentioned relatively simple problems in the theory of integers that cannot be decided on the basis of the axioms.

I don't believe in empirical science. I only believe in a priori truth.

Nothing new had been done in Logic since Aristotle!

Ninety percent of [contemporary philosophers] see their principle task as that of beating religion out of men's heads. ... We are far from being able to provide scientific basis for the theological world view.

The meaning of world is the separation of wish and fact.

I am convinced of the afterlife, independent of theology. If the world is rationally constructed, there must be an afterlife

The physical laws, in their observable consequences, have a finite limit of precision.