What this guy said.
In logic,
there are direct proofs (if a goes to b and b goes to c then a goes to c),
proofs by contradiction (you assume the opposite of what you want to prove, then work to find the contradiction in that),
and proofs by induction (Tricky to explain in a single...