PanLinx
русский
rus-000
условие неприводимой несовместности
English
eng-000
irreducible inconsistency condition
PanLex