Séminaire Le Vendredi 11 septembre 202613h3015h30 Paris-Nancy Colloquium in Logic and the Philosophy of Mathematics