Jump to content

Category:Metatheorems

From Wikipedia, the free encyclopedia

Subcategories

This category has only the following subcategory.

T

Theorems in the foundations of mathematics (1 C, 54 P)

Pages in category "Metatheorems"

The following 16 pages are in this category, out of 16 total. This list may not reflect recent changes.

Metatheorem

A

Abstract model theory

B

Barwise compactness theorem

C

D

Deduction theorem

E

Entscheidungsproblem

F

Frege's theorem

G

H

Herbrand's theorem

L

T

Tarski's undefinability theorem

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Metatheorems&oldid=547706782"