PanLinx
русский
rus-000
аксиома Архимеда
English
eng-000
Archimedean axiom
PanLex