Nous présentons la notion d’“universel relatif”, ubiquitaire dans l’œuvre de Grothendieck, et notre notion TFK (“topos de faisceaux sur des modèles de Kripke intuitionnistes”), où se superposent l’histoire, la phénoménologie et la métaphysique, pour aider à “sauver la catégorie de vérité” selon Badiou (absolue et localisée, éternelle et événementielle, générique et existentielle, a-subjective et subjective).

En outre, nous explorons quelques tensions entre niveaux d’infini grâce au TFK, en contrepoint avec les “croisements opératoires” de Badiou dans L’Immanence des vérités.