Axiomes et nombres

Texte d'un cours sur les axiomes de Zermelo-Fraenkel et la construction des nombres (niveau variable de L1 à L3) à télécharger ici - document pdf (1,7M, 300 pages), version d'août 2018.

Ce polycopié est décliné en version de lecture, ce qui veut dire que les preuves sont regroupées à la fin. Des références cliquables permettent de naviguer, y compris des aller-retours entre énoncé et preuve.

Une variante classique où les énoncés sont suivis par leurs preuves, ainsi que d'autres variantes sont disponibles sur demande. Pour ceux qui disposent d'un grand écran, il est également possible de créer des versions doubles : deux copies du même document qui se renvoient mutuellement. Ceci permettra au lecteur de garder sous les yeux le texte principal, tout en ayant à côté le texte d'une référence. Pour l'instant ceci fonctionne bien sous MacOSX avec Aperçu et sous Linux avec evince, mais pas sous Windows.

Je travaille par période sur ce texte. Il n'est donc pas impossible que des nouvelles versions améliorées apparaissent de temps en temps.