PanLinx
русский
rus-000
дедуктивная непротиворечивость
English
eng-000
deductible consistency
PanLex
