Template:Foundations-footer
Source 📝
305:
37:
274:
115:
30:
153:
284:
279:
105:
211:
47:
178:
158:
259:
244:
201:
163:
68:
221:
196:
216:
173:
226:
148:
95:
55:
133:
88:
15:
254:
138:
78:
236:
264:
206:
83:
299:
73:
100:
63:
269:
188:
168:
110:
143:
125:
249:
19:
235:
187:
124:
54:
306:Foundations of Mathematics navigational boxes
31:
8:
38:
24:
16:
7:
14:
116:List of mathematical logic topics
285:List of category theory topics
1:
280:Glossary of category theory
154:Zermelo–Fraenkel set theory
106:Mathematical constructivism
322:
275:Mathematical structuralism
212:Intuitionistic type theory
48:Foundations of Mathematics
179:List of set theory topics
159:Constructive set theory
260:Higher category theory
164:Descriptive set theory
69:Mathematical induction
222:Univalent foundations
207:Dependent type theory
197:Axiom of reducibility
217:Homotopy type theory
144:Axiomatic set theory
202:Simple type theory
149:Zermelo set theory
96:Mathematical proof
56:Mathematical logic
293:
292:
174:Russell's paradox
89:Natural deduction
313:
255:Category of sets
227:Girard's paradox
139:Naive set theory
79:Axiomatic system
46:Major topics in
40:
33:
26:
17:
321:
320:
316:
315:
314:
312:
311:
310:
296:
295:
294:
289:
237:Category theory
231:
183:
120:
50:
44:
12:
11:
5:
319:
317:
309:
308:
298:
297:
291:
290:
288:
287:
282:
277:
272:
270:∞-topos theory
267:
262:
257:
252:
247:
241:
239:
233:
232:
230:
229:
224:
219:
214:
209:
204:
199:
193:
191:
185:
184:
182:
181:
176:
171:
166:
161:
156:
151:
146:
141:
136:
130:
128:
122:
121:
119:
118:
113:
108:
103:
98:
93:
92:
91:
86:
84:Hilbert system
81:
71:
66:
60:
58:
52:
51:
45:
43:
42:
35:
28:
20:
13:
10:
9:
6:
4:
3:
2:
318:
307:
304:
303:
301:
286:
283:
281:
278:
276:
273:
271:
268:
266:
263:
261:
258:
256:
253:
251:
248:
246:
243:
242:
240:
238:
234:
228:
225:
223:
220:
218:
215:
213:
210:
208:
205:
203:
200:
198:
195:
194:
192:
190:
186:
180:
177:
175:
172:
170:
167:
165:
162:
160:
157:
155:
152:
150:
147:
145:
142:
140:
137:
135:
132:
131:
129:
127:
123:
117:
114:
112:
109:
107:
104:
102:
99:
97:
94:
90:
87:
85:
82:
80:
77:
76:
75:
74:Formal system
72:
70:
67:
65:
62:
61:
59:
57:
53:
49:
41:
36:
34:
29:
27:
22:
21:
18:
250:Topos theory
101:Model theory
64:Peano axioms
23:
189:Type theory
169:Determinacy
111:Modal logic
265:∞-groupoid
126:Set theory
300:Category
245:Category
134:Set
302::
39:e
32:t
25:v
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
↑