# Definition:Mathematical Logic

Jump to navigation
Jump to search

## Contents

## Definition

**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.

## Also see

- Results about
**mathematical logic**can be found here.

## Historical Note

The discipline of **mathematical logic** was directly inspired by Hilbert's program, as an attempt to create a consistent and complete set of axioms that would render mathematics completely rigorous.

This did not go the way David Hilbert had planned, as Gödel's Incompleteness Theorems proved that there were always going to true statements in mathematics which could never be proved.

## Sources

- 1965: E.J. Lemmon:
*Beginning Logic*... (previous) ... (next): $\S 1.1$: The Nature of Logic - 1993: M. Ben-Ari:
*Mathematical Logic for Computer Science*... (previous) ... (next): Chapter $1$: Introduction: $\S 1.1$: The origins of mathematical logic - 2014: Christopher Clapham and James Nicholson:
*The Concise Oxford Dictionary of Mathematics*(5th ed.) ... (previous) ... (next): Entry:**mathematical logic**