Section 7 : nombres comme ensembles

Travailler les ordinaux de von Neumann, le successeur et les constructions ensemblistes des systèmes de nombres.