Système formel Nous avons introduit : signes de variables (x, y, z, …), de constantes (0, 1), dopérations (+, ), de relations (=, ) Axiomes : ce sont des.
