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.