Inference Axiomatization Natural deduction Direct proof Indirect proof Hypothetical/conditional proof