Hiérarchie Arithmétique

concept

Hiérarchie des sous-ensembles de l'ensemble '''N''' des entiers naturels définissables en calcul des prédicats du 1er ordre.

Propriétés