French ⇄ Russian

une complétude déductive stresses
logic	дедуктивная полнота (свойство формальной системы (исчисления), характеризующее достаточность её (его) дедуктивных средств с точки зрения заданных фиксированных критериев (содержательных или формальных) Alex_Odeychuk)