Sistem aksioma

Pada himpunan bilangan real R terdapat himpunan bagian P C R yang memenuhi ketiga aksioma berikut.
Dalam kaitan ini, P dinamakan himpunan bilangan positif dan unsurnya dinamakan bilangan positif.