archimedean ordered field

[ریاضیات] هیأت مرتب ارشمیدسی