Deux textes philosophiques constituant une introduction à des domaines fondamentaux des mathématiques contemporaines, dans lesquels A. Badiou complète son anthologie de la théorie des ensembles par une phénoménologie logique articulée à la théorie mathématique des catégories.