2:15

3:55

3:34

3:01

3:13

Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. It bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.

### Subfields and scope

## Mathematics Set theory

## Model theory

## Proof theory

- load more

### History

### Formal logical systems

### Set theory

### Model theory

### Recursion theory

### Proof theory and constructive mathematics

### Connections with computer science

### Foundations of mathematics