Hippopotame (./7917) :

dualmoo (./7914) :
qui est?

T'as le langage de niveau 0, le langage intuitif dans lequel on parle.
On y discute en particulier d'un système arithmétique axiomatique, dont les phrases forment le langage de niveau 1.

Le modèle standard de ce système axiomatique, c'est l'ensemble des entiers du niveau 0.

oui mais le fait est que malgré tous tes efforts tu n'arrives pas à capturer l'essence de ces entiers intuitifs du niveau 0. es-tu donc sûr qu'ils sont vraiment si intuitifs que ça ?