PanLinx
русский
rus-000
конечная предгеометрия
English
eng-000
finite pregeometry
PanLex