Real number system and its properties