PanLinx
русский
rus-000
формальная система
Deutsch
deu-000
formales System
English
eng-000
formal system
English
eng-000
formalism
PanLex