Sistem aksioma

Kita dapat mendifinisikan istilah himpunan hingga, sebagai suatu himpunan yang terdiri dari n unsur ( n bilangan asli ), atau himpunan kosong. Unsur – unsur pada himpunan hingga yang tak kosong berkorespondensi satu – satu dengan himpunan {1,2...,n), n bilangan asli.