Category:Hilbert Proof System Instance 1 for Predicate Logic