Category:Mathematical Logic

From ProofWiki
Jump to navigation Jump to search

This category contains results about Mathematical Logic.
Definitions specific to this category can be found in Definitions/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.