Direct Proofs: attempt to prove statement is itself true
Indirect Proofs: prove the negation of the statement is false. (proofs by contradiction: AFSOC - assume for the sake of contradiction)

Universal Statements

Universal Statement: (\forall x \in S)P(x)

Direct Proofs: Let x\in S be arbitrary and fixed. Show P(x) holds.