[logic-ml] Deligne's completeness theorem