Ce projet se concentre sur l'étude approfondie des théories des ensembles et des fondements des mathématiques. Il vise à analyser, comparer et formaliser les différentes approches axiomatiques de la théorie des ensembles, tout en explorant leurs implications logiques et philosophiques. L'objectif est de fournir des outils et des ressources pour les chercheurs et étudiants en mathématiques pures.