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