Bir kümede kaç eleman bulunduğunu gösteren simge ve bu simgelerin oluşturduğu topluluk. {a, b, c}, {x, y, z},{+, x,/} kümeleri ayrı ayrı elemanlardan oluşur; fakat bunlar arasında bire-bir eşleme kurulabilir ve eşleme bağıntısına göre bunlar aynı denklik sınıfında bulunurlar. Bu denklik sınıfı 3 simgesiyle, boş kümenin denklik sınıfı 0 simgesiyle vb. gösterilirse {0, 1, 2, 3,...} kümesi elde edilir. Bu küme doğal sayılar kümesidir ve elemanları doğal sayılar diye anılır. Doğal sayılar toplama ve çarpma işlemlerine göre kapalıdır; yani herhangi iki doğal sayının toplamı ya da çarpımı yine bir doğal sayıdır. İnsanların ilk kullandığı sayılar doğal sayılardır ve birçok özellikleri eskiden beri bilinmektedir. (bakınız) SAYMA SAYILARI