Sets and real number system