Via Théorème, je découvre le site Foundations of Mathematics (et me voilà plongé douze ans en arrière).