El símbolo "N" designa un predicado monádico que se lee «ser un número natural».