Introduction#

A common misconception is that mathematical logic is the study of reasoning but, [[TODO|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.

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