Theory (mathematical logic)
Derivation in a first-order theory

There are many formal derivation ("proof") systems for first-order logic. These include Hilbert-style deductive systems, natural deduction, the sequent calculus, the tableaux method and resolution.
punctuation:no_comma