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

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

I like Islam, it is a consistent idea of religion and open-minded.

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

All generalizations, with the possible exception of this one, are false.

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

Either mathematics is too big for the human mind or the human mind is more than a machine.