Ontologie et mathématiques : théorie des ensembles, théorie des catégories, et théorie des infinis, dans L'etre et l'événement, logiques des mondes et l'Immanence des vérités