Notes on Mathematical Logic

Mathematical logic is the study of mathematical reasoning. We do this by developing an abstract model of the process of reasoning in mathematics. 

We then study this model and determine some of its properties. Mathematical reasoning is deductive; that is, it consists of drawing (correct) inferences from given or already established facts. Thus the basic concept is that of a statement being a logical consequence of some collection of statements.

Read more here.