Definition:Strongly Complete Proof System