PanLinx
русский
rus-000
аксиома следования
English
eng-000
sequencing axiom
PanLex