Du tragique destin de l'hilbertisme aux paradoxes de Gödel, de l'intuitionnisme au sujet créatif, c'est toute l'aventure de la logique du XX° siècle qui mérite notre attention au travers d'un voyage vers les confins infinis de la pensée contemporaine. L'auteur, philosophe du langage, a consacré bon nombre de ses travaux universitaires secondaires à l'étude de la logique formelle.