Metadata
Author: WikiMatrix
Data
English[en]
Second-order arithmetic can also be seen as a weak version of set theory in which every element is either a natural number or a set of natural numbers.
French[fr]
L'arithmétique de second ordre peut aussi être considérée comme une version faible de la théorie des ensembles dans laquelle chaque élément est soit un entier naturel, soit un ensemble d'entiers naturels.