Proof Techniques Mathematical Preliminaries Part 1 Computability Theory by ComputeNow - September 27, 20180 Proof techniques in mathematical preliminaries is a sequence of mathematical statements that form an argument to show that a theorem is true. The statements in the proof of a theorem include axioms (assumptions about the underlying mathematical structures), hypotheses of the theorem to be proved, and previously proved theorems. The main