Tag: successor-arithmetics
Successeur de l’arithmétique, dans le Prologue aussi connu comme s(X)-notation ou
s(X)-nombres, est un codage des nombres naturels basés sur Peano
Axiomes. Le zéro est représenté par 0, on est représentée comme la
successeur de la zero s(0), deux en tant que successeur du one s(s(0)) etc.