Logique Mathématique et Théorie des Ensembles :

Le 05 avril 2012 à 13:45 - Irem

Présentée par Théret David - Université Montpellier II

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