Constructibility and mathematical existence - Chihara, Charles S., 1932- (Clarendon Press ; Oxford University Press, 1990)