Definition:Consistent Proof System