Séance Séminaire

Logique Mathématique et Théorie des Ensembles

jeudi 05 avril 2012 à 13:45 - Irem
David Théret (Université Montpellier II)

Axiome de remplacement, application aux ordinaux, arithmétique ordinale (début).