59:
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.
29:
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.
208:
175:
273:
225:
219:
298:
193:
293:
157:
154:
151:
148:
145:
142:
139:
136:
133:
130:
127:
124:
121:
118:
115:
112:
109:
106:
103:
100:
97:
94:
91:
88:
85:
82:
77:
242:
288:
264:
8:
254:
22:
63:
47:
259:
197:
17:
282:
237:
190:
42:
37:
53:
72:
218:
The following 5 pages are in this category, out of 199 total.
172:
This category has the following subcategory, out of 34 total.
280:
65:
33:Mathematical logic is divided into four parts:
220:This list may not reflect recent changes
281:
215:Pages in category "Mathematical logic"
167:
50:, also known as computability theory
13:
229:
179:
166:
14:
310:
1:
213:
7:
10:
315:
16:The main article for this
15:
299:Philosophy of mathematics
194:Mathematical logic stubs
243:Variable (mathematics)
294:Fields of mathematics
265:Witness (mathematics)
255:Well-formed formula
23:Mathematical logic
260:WFF 'N PROOF
306:
199:
192:
48:Recursion theory
314:
313:
309:
308:
307:
305:
304:
303:
279:
278:
277:
271:
270:
269:
247:
212:
206:
205:
204:
201:
200:
189:
165:
164:
163:
162:
68:
27:
12:
11:
5:
312:
302:
301:
296:
291:
276:) (next page)
268:
267:
262:
257:
251:
248:
246:
245:
240:
234:
231:
230:
216:
211:) (next page)
203:
202:
188:
187:
184:
181:
180:
170:
161:
160:
80:
75:
69:
67:
64:
62:
57:
56:
51:
45:
40:
9:
6:
4:
3:
2:
311:
300:
297:
295:
292:
290:
287:
286:
284:
275:
274:previous page
266:
263:
261:
258:
256:
253:
252:
249:
244:
241:
239:
238:Vacuous truth
236:
235:
232:
228:) (next page)
227:
226:previous page
223:
221:
214:
210:
209:previous page
195:
191:
186:
185:
182:
178:) (next page)
177:
176:previous page
173:
169:Subcategories
168:
159:
156:
153:
150:
147:
144:
141:
138:
135:
132:
129:
126:
123:
120:
117:
114:
111:
108:
105:
102:
99:
96:
93:
90:
87:
84:
81:
79:
76:
74:
71:
70:
61:
55:
52:
49:
46:
44:
41:
39:
36:
35:
34:
31:
25:
24:
19:
289:Formal logic
217:
198:(2 C, 105 P)
171:
58:
43:Proof theory
38:Model theory
32:
28:
21:
283:Categories
54:Set theory
66:Contents
18:category
78:0–9
73:Top
20:is
285::
222:.
196:
272:(
250:W
233:V
224:(
207:(
183:Σ
174:(
158:Z
155:Y
152:X
149:W
146:V
143:U
140:T
137:S
134:R
131:Q
128:P
125:O
122:N
119:M
116:L
113:K
110:J
107:I
104:H
101:G
98:F
95:E
92:D
89:C
86:B
83:A
26:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.