☰

система аксиом действительных чисел

сущ.
мат.
实数的公理系统 shí shǔ de gōnglǐ xìtǒng