“A branch of mathematical logic that seeks to determine which axioms are required to prove particular theorems.”