non-Archimedean ordered field
میدان مرتب ناارشمیدسی
عدد حقیقی
real number
چندجمله‌ای
polynomial
عدد جبری
algebraic number
میدان
field
میدان مرتب
ordered field