PanLinx
English
eng-000
consistency of axioms
русский
rus-000
непротиворечивость аксиом
PanLex