Ce livre est à la fois un cours de logique (théorie de la démonstration) et d'épistémologie des "fondements". Il s'adresse aussi bien aux mathématiciens qu'aux informaticiens, aux philosophes qu'aux physiciens et aux linguistes.Le premier tome Vers la perfection s'achevait sur la logique linéaire et la distinction entre parfait et imparfait : le parfait renvoie à un monde d'actions où l'on vit dans l'instant loin des vérités pérennes, alors que l'imparfait est le monde