PanLinx
русский
rus-000
формальный аксиоматический метод
English
eng-000
formal axiomatic method
PanLex