16-Архимед аксиомасы. және үшін теңсіздіктерін қанағаттандыратын бүтін саны табылады және ол жалғыз.
17-жоғарғы және төменгі шекаралар туралы аксиомалар. Әрбір шенелген сандар жиынының жоғарғы шекараларынан құрылған жиынның ең кіші, ао төменгі шекараларынан құрылған жиынның ең үлкен элементі бар.
, 
болса, онда 
.
және 
үшін 
теңсіздіктерін қанағаттандыратын 
бүтін саны табылады және ол жалғыз.