Contar

Ato de fazer bijeção com subconjuntos dos naturais que possuam as seguintes características:
1. O zero pertence a esse conjunto.
2. Designando por F a função que, para cada número natural, associa seu sucessor, então para todo elemento x do conjunto, diferente do zero, existe um outro y tal que F(y)=x.

Uma vez achado um conjunto A que satisfaz tais características e feita a bijeção, costuma-se considerar como resultado da contagem o valor inf{N\A}.

O processo de contar, como visto acima, é de tamanha simplicidade que seu desenvolvimento data de tempos anteriores à escrita; de maneira semelhante, é aprendido por crianças antes mesmo de aprenderem a ler e a escrever.