Introduction

A common misconception is that mathematical logic is the study of reasoning but, metaphysically, this branch of mathematics has little to do with how we reason and establish truth. Rather, mathematical logic examines how we can standardize and organize language in a consistent way so as to have an easier way of writing down mathematics.

Definition: Mathematical Logic

Mathematical logic is the study of the language used in mathematics.

In fact, a much better name for this field of mathematics would have probably been “mathematical linguistics”.