deductively complete

Мат. дедуктивно полный