Commençant par une revue sommaire des types de questions qu’une fondation des mathématiques devrait poser, cet article présente premièrement une critique des fondements basés sur la théorie des ensembles, puis propose l’idée que plusieurs fondements catégoriques, reliés les uns aux autres, seraient plus avantageux, et finalement indique une méthode pour retrouver la théorie des ensembles à travers une approche catégorique.