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