Open main menu

This is a list of mathematical logic topics, by Wikipedia page.

For traditional syllogistic logic, see the list of topics in logic. See also the list of computability and complexity topics for more theory of algorithms.


Working foundationsEdit

Model theoryEdit

Set theoryEdit

Descriptive set theoryEdit

Large cardinalsEdit

Recursion theoryEdit

Proof theoryEdit

Mathematical constructivismEdit

Modal logicEdit

Theorem proversEdit

Discovery systemsEdit


See alsoEdit