To the average mathematician who merely wants to know his work is securely based, the most appealing choice is to avoid difficulties by means of Hilbert's program. Here one regards mathematics as a formal game and one is only concerned with the question of consistency ... . The Realist position is probably the one which most mathematicians would prefer to take. It is not until he becomes aware of some of the difficulties in set theory that he would even begin to question it. If these difficulties particularly upset him, he will rush to the shelter of Formalism, while his normal position will be somewhere between the two, trying to enjoy the best of two worlds.
~ Paul Cohen
