PanLinx
русский
rus-000
нелогическая аксиома
English
eng-000
nonlogical axiom
PanLex