Cet ouvrage a été nourri par deux motifs, la conception d'une logique interne au discours mathématique d'une part, et le rejet de la logique classique au profit d'une logique constructiviste des concepts locaux d'autre part. En trois parties : logique interne et logique externe, logique mathématique et logique du discours mathématique.