英语 ⇄ 俄语 +

properly consistent set 强调
数学	собственно непротиворечивое; собственно непротиворечивое множество