Natural deduction

In philosophical logic, natural deduction is an approach to proof theory that attempts to provide a deductive system which is a formal model of logical reasoning as it "naturally" occurs. This approach is in contrast to axiomatic systems which uses axioms.

Reference:
http://en.wikipedia.org/wiki/Natural_deduction