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.
Kurt Gödel...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.
Kurt Gödel