Definition:Strongly Sound Proof System