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