Les théorèmes limitatifs de la logique mathématique

Dans ce livre qui constitue le premier volume de son trilogie sur la vérité la preuve et les théorèmes limitatifs de la logique mathématique l'auteur s'engage à développer une introduction lucide et subtile à la logique moderne qui éclaire les concepts de base de cette logique mathématisée ainsi que ses théorèmes non limitatifs (complétude) et ceux limitatifs (incomplétude et indéfinissabilité). Pour chaque concept il explique son évolution historique et clarifie ses rôles dans l'étude des rapports entre syntaxe et sémantique voire entre la notion de preuve et celle de vérité.