Correct Quotes - page 10
Among the sayings and discourses imputed to him [Jesus] by his biographers, I find many passages of fine imagination, correct morality, and of the most lovely benevolence; and others again of so much ignorance, so much absurdity, so much untruth, charlatanism, and imposture, as to pronounce it impossible that such contradictions should have proceeded from the same being. I separate, therefore, the gold from the dross; restore to Him the former, and leave the latter to the stupidity of some, and roguery of others of His disciples. Of this band of dupes and impostors, Paul was the great Coryphaeus, and first corruptor of the doctrines of Jesus. These palpable interpolations and falsifications of His doctrines, led me to try to sift them apart.
Thomas Jefferson
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...
Paul Bernays