# Category:Metatheorems

Computing portal |

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

## Subcategories

This category has only the following subcategory.

### T

## Pages in category "Metatheorems"

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

- Metatheorem
*(computing)*

### A

- Abstract model theory
*(computing)*

### B

- Barwise compactness theorem
*(computing)*

### C

- Compactness theorem
*(computing)* - Courcelle's theorem
*(computing)*

### D

- Deduction theorem
*(computing)*

### E

- Entscheidungsproblem
*(computing)*

### F

- Frege's theorem
*(computing)*

### G

- Gentzen's consistency proof
*(computing)* - Gödel's completeness theorem
*(computing)* - Gödel's incompleteness theorems
*(computing)*

### H

- Herbrand's theorem
*(computing)*

### L

- Lindström's theorem
*(computing)* - Löb's theorem
*(computing)* - Löwenheim–Skolem theorem
*(computing)*

### T

- Tarski's undefinability theorem
*(computing)*