"P. Bernays has pointed out on several occasions that, since the consistency of a system cannot be proved using means of proof weaker than those of the system itself, it is necessary to go beyond the framework of what is, in Hilbert’s sense, finitary mathematics if one wants to prove the consistency of classical mathematics, or even that of classical number theory. Consequently, since finitary mathematics is defined as the mathematics in which evidence rests on what is intuitive, certain abstract notions are required for the proof of the consistency of number theory.... In the absence of a precise notion of what it means to be evident, either in the intuitive or in the abstract realm, we have no strict proof of Bernays’ assertion; practically speaking, however, there can be no doubt that it is correct..."

“I shall now address you on the subject of the present situation in research in the foundations of mathematics. Since there remain open questions in this field, I am not in a position to paint a definitive picture of it for you. But it must be pointed out that the situation is not so critical as one could think from listening to those who speak of a foundational crisis. From certain points of view, this expression can be justified; but it could give rise to the opinion that mathematical science is shaken at its roots.”

“Bernays's publications extend over the most diverse fields of mathematics … and are all marked by thoroughness and reliability … He is distinguished by a deep-seated love for science as well as a trustworthy character and nobility of thought, and is highly valued by everyone. In all matters concerning fundamental questions in mathematics, he is the most knowledgeable expert and, especially for me, the most valuable and productive colleague.”

“The truth is that the mathematical sciences are growing in complete security and harmony. The ideas of Dedekind, Poincare, and Hilbert have been systematically developed with great success, without any conflict in the results. It is only from the philosophical point of view that objections have been raised. They bear on certain ways of reasoning peculiar to analysis and set theory. These modes of reasoning were first systematically applied in giving a rigorous form to the methods of the calculus. the objects of a theory are viewed as elements of a totality such that one can reason as follows: For each property expressible using the notions of the theory, it is objectively determinate whether there is or there is not an element of the totality which possesses this property. Similarly, it follows from this point of view that either all the elements of a set possess a given property, or there is at least one element which does not possess it”

“Enlightened humanity has sought in rational definiteness its liberating refuge from the dominating influence of the merely authoritative. At the present time, however, this has for a large part been lost to consciousness, and to many people scientific validity that has to be acknowledged appears as an oppressing authority.”