# Category:Mathematical logic

Here is a list of articles in the Mathematical logic category of the Computing portal that unifies foundations of mathematics and computations using computers.

Mathematical logic is the study of formal logic within mathematics. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power.

Mathematical logic is divided into four parts:

- Model theory
- Proof theory
- Recursion theory, also known as computability theory
- Set theory

The divisions between these areas, along with the divisions between mathematical logic and the rest of mathematics, are not completely sharp, with many areas of research and methods overlapping and reinforcing each other.

## Subcategories

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

### *

### A

### B

### C

### F

- Forcing (mathematics) (23 P)
- Formal theories of arithmetic (18 P)

### L

- Logical positivism (21 P)
- Logical truth (22 P)

### M

### O

### P

### R

### T

## Pages in category "Mathematical logic"

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

(previous page) (next page)### A

### B

### C

- Cantor's paradox
- Cartesian monoid
- Categorical theory
- Class logic
- Classical mathematics
- Coherent space
- Cointerpretability
- Compactness theorem
- Complete theory
- Philosophy:Completeness (logic)
- Conservative extension
- Conservativity theorem
- Continuous predicate
- Contradiction
- Contraposition
- Converse relation
- Counting
- Craig interpolation
- Curry's paradox
- Cyclic negation

### D

### E

- Elementary definition
- Elementary equivalence
- Elementary sentence
- Elementary theory
- End extension
- Entitative graph
- Entscheidungsproblem
- Enumeration
- Enumeration reducibility
- Equality (mathematics)
- Equational logic
- Equiconsistency
- Explicit mathematics
- Extender (set theory)
- Extension by definitions
- Extension by new constant and function names
- Extensions of First Order Logic

### F

### G

### H

### I

### L

### M

### P

### R

### S

- S2S (mathematics)
- Saturated model
- Schröder–Bernstein property
- Semantic theory of truth
- Semantics of logic
- Semicomputable function
- Philosophy:Signature (logic)
- Simplification of disjunctive antecedents
- Slicing the Truth
- Solèr's theorem
- Special case
- List of statements independent of ZFC
- Stratification (mathematics)
- Strength (mathematical logic)
- Structural induction
- Philosophy:Structuralism (philosophy of mathematics)
- Structure (mathematical logic)
- Subitizing
- Substructure (mathematics)
- Successor function
- Superposition calculus
- Surreal number
- Glossary of mathematical symbols
- List of mathematical symbols
- List of mathematical symbols by subject