Constructibility and mathematical existence - Chihara, Charles S. (Clarendon Press, 1991)