3425 - Vérification de la démonstration de Carathéodory de l’indépendance des axiomes de la théorie des somas via la théorie des posets

N. Lygeros