Category:Definitions/Mathematical Logic

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Mathematical Logic.
Related results can be found in Category: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.

Subcategories

This category has the following 10 subcategories, out of 10 total.

Pages in category "Definitions/Mathematical Logic"

The following 74 pages are in this category, out of 74 total.