51:
183:
229:
178:
217:
72:
173:
108:
207:
125:
195:
96:
149:
212:
120:
253:
161:
248:
137:
17:
242:
84:
22:
55:
71:
The following 16 pages are in this category, out of 16 total.
35:This category has only the following subcategory.
8:
52:Theorems in the foundations of mathematics
73:This list may not reflect recent changes
7:
230:Tarski's undefinability theorem
184:Gödel's incompleteness theorems
77:
48:
37:
29:
14:
179:Gödel's completeness theorem
174:Gentzen's consistency proof
68:Pages in category "Metatheorems"
1:
109:Barwise compactness theorem
270:
16:The main article for this
15:
218:Löwenheim–Skolem theorem
208:Lindström's theorem
126:Courcelle's theorem
196:Herbrand's theorem
97:Abstract model theory
162:Frege's theorem
150:Entscheidungsproblem
121:Compactness theorem
213:Löb's theorem
138:Deduction theorem
261:
57:
50:
269:
268:
264:
263:
262:
260:
259:
258:
239:
238:
237:
236:
235:
234:
222:
200:
188:
166:
154:
142:
130:
113:
101:
89:
65:
64:
63:
62:
59:
58:
47:
28:
27:
12:
11:
5:
267:
265:
257:
256:
251:
241:
240:
233:
232:
226:
223:
221:
220:
215:
210:
204:
201:
199:
198:
192:
189:
187:
186:
181:
176:
170:
167:
165:
164:
158:
155:
153:
152:
146:
143:
141:
140:
134:
131:
129:
128:
123:
117:
114:
112:
111:
105:
102:
100:
99:
93:
90:
88:
87:
81:
79:
78:
69:
66:
61:
60:
46:
45:
42:
39:
38:
33:
30:
13:
10:
9:
6:
4:
3:
2:
266:
255:
252:
250:
247:
246:
244:
231:
228:
227:
224:
219:
216:
214:
211:
209:
206:
205:
202:
197:
194:
193:
190:
185:
182:
180:
177:
175:
172:
171:
168:
163:
160:
159:
156:
151:
148:
147:
144:
139:
136:
135:
132:
127:
124:
122:
119:
118:
115:
110:
107:
106:
103:
98:
95:
94:
91:
86:
83:
82:
80:
76:
74:
67:
53:
49:
44:
43:
40:
36:
32:Subcategories
31:
25:
24:
19:
70:
34:
21:
85:Metatheorem
56:(1 C, 54 P)
23:Metatheorem
243:Categories
254:Metalogic
249:Theorems
18:category
20:is
245::
75:.
54:‎
225:T
203:L
191:H
169:G
157:F
145:E
133:D
116:C
104:B
92:A
41:T
26:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.