\begin{definition}[Definition:Mathematical Logic]
'''Mathematical logic''' is a sub-branch of symbolic logic in which the foundations of the assumptions upon which rest mathematics itself are investigated and made rigorous.
\end{definition}