Category:Definitions/Hilbert Proof System Instance 1 for Predicate Logic