Reasoning with the infinite : from the closed world to the mathematical universe - Blay, Michel (The University of Chicago Press, 1998)