PanLinx
português
por-000
corpo ordenado arquimediano
English
eng-000
Archimedean ordered field
PanLex