I. Números naturais:
a. 0 é um número natural.
b. o sucessor de um número natural é um outro número natural.
II. Estruturas de árvores:
a. 0 é uma árvore (chamada árvore vazia).
b. Se t1 e t2 são árvores, então a estrutura que consiste de um nó com dois ramos t1 e t2 é também uma árvore
III. A função fatorial n! (para inteiros não negativos):
a. 0! = 1
b. n > 0: n! = n * (n-1)!