Definition:Mathematical Logic

From ProofWiki
Jump to: navigation, search

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.


Sources