La idea es usar el símbolo 
, negación y algún cuantificador para decir algo como:
- s es el sucesor inmediato de n si
- s es mayor que n
- No hay ningún número menor que s y mayor que n
La idea es usar el símbolo , negación y algún cuantificador para decir algo como: