Deepening the understanding of inference in predicate logic by investigating Hilbert's epsilon calculus.
Syntax of the epsilon calculus, epsilon theorems 1 and 2.
Not necessary