Arithmétique du Second Ordre

concept

théorie des entiers naturels et des ensembles d'entiers naturels

Propriétés