112:
51:
186:
307:
152:
165:
92:
297:
132:
68:
312:
249:
203:
302:
266:
317:
220:
232:
17:
291:
254:
198:
22:
237:
215:
156:
136:
96:
72:
55:
169:
116:
278:
35:
This category has the following 7 subcategories, out of 7 total.
185:
The following 10 pages are in this category, out of 10 total.
8:
187:This list may not reflect recent changes
7:
113:Systems of probability distributions
191:
182:Pages in category "Formal systems"
89:
65:
48:
37:
29:
14:
1:
334:
16:The main article for this
15:
52:Systems of formal logic
250:Physical symbol system
204:List of formal systems
308:Formalism (deductive)
153:Systems of set theory
166:Substitution (logic)
93:Mathematical axioms
298:Mathematical logic
133:Rules of inference
267:Rule of inference
325:
221:Axiomatic system
171:
158:
138:
118:
98:
91:
74:
67:
57:
50:
333:
332:
328:
327:
326:
324:
323:
322:
288:
287:
286:
285:
284:
283:
271:
259:
242:
233:First principle
225:
208:
179:
178:
177:
176:
173:
172:
160:
159:
143:
140:
139:
123:
120:
119:
103:
100:
99:
88:
79:
76:
75:
69:Logical calculi
64:
59:
58:
47:
28:
27:
12:
11:
5:
331:
329:
321:
320:
315:
313:Syntax (logic)
310:
305:
300:
290:
289:
282:
281:
275:
272:
270:
269:
263:
260:
258:
257:
252:
246:
243:
241:
240:
235:
229:
226:
224:
223:
218:
212:
209:
207:
206:
201:
195:
193:
192:
183:
180:
175:
174:
164:
163:
161:
151:
150:
147:
144:
142:
141:
131:
130:
127:
124:
122:
121:
111:
110:
107:
104:
102:
101:
87:
86:
83:
80:
78:
77:
63:
62:
60:
46:
45:
42:
39:
38:
33:
30:
13:
10:
9:
6:
4:
3:
2:
330:
319:
316:
314:
311:
309:
306:
304:
301:
299:
296:
295:
293:
280:
277:
276:
273:
268:
265:
264:
261:
256:
255:Proof (truth)
253:
251:
248:
247:
244:
239:
236:
234:
231:
230:
227:
222:
219:
217:
214:
213:
210:
205:
202:
200:
199:Formal system
197:
196:
194:
190:
188:
181:
167:
162:
154:
149:
148:
145:
134:
129:
128:
125:
114:
109:
108:
105:
94:
90:
85:
84:
81:
70:
66:
61:
53:
49:
44:
43:
40:
36:
32:Subcategories
31:
25:
24:
23:Formal system
19:
238:Formal proof
216:Axiom schema
184:
34:
21:
97:(2 C, 22 P)
73:(4 C, 34 P)
56:(4 C, 33 P)
292:Categories
279:Term graph
303:Metalogic
18:category
318:Systems
157:(27 P)
137:(43 P)
170:(3 P)
117:(9 P)
20:is
294::
189:.
168:
155:
135:
115:
95:
71:
54:
274:T
262:R
245:P
228:F
211:A
146:S
126:R
106:P
82:M
41:L
26:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.