PanLinx
русский
rus-000
рационально полный
English
eng-000
rationally complete
PanLex
