Être et genèse des idéalités

La question centrale de cet ouvrage se situe à la croisée du réalisme et de l’idéalisme : comment peut-on à la fois affirmer que les objets dont traite la mathématique possèdent un être identique en tout temps et pour tout sujet pensant et qu’ils ont été produits par un sujet mathématicien ? L’idéalité des objectités formelles implique en effet leur autonomie ontologique vis-à-vis de la conscience, donc l’impossibilité de les produire. Or ces objets idéaux requièrent l’invention d’un système de notations symboliques et font leur apparition à un moment de l’histoire : n’est-ce pas le signe de leur dépendance ontologique vis-à-vis de la spontanéité productrice de la conscience ? Partant, la vérité mathématique doit-elle être conçue comme adéquation de la connaissance à des objets qui lui préexistent, ou comme dévoilement d’objets n’ayant ni existe