Mathematical Logic

The name sounds scary. It's really not.

Mathematical logic is a "language" based on symbols, much like hieroglyphs. An "unified" language for all of us who practice mathematics to express our theories and make them understandable by everyone else in the same field.

Let's start with The Implication Operator