This text aims to unify mathematical logic and symbolic logic, and outlines how mathematical logic emerged from symbolic logic. Derivations are extended to encompass mathematical principles. Godel's theorems are covered, including philosophical and historical issues.