Définitions

Demandes (ou postulats)

Notions communes ou axiomes

Propositions