68:
185:
110:
195:
47:
160:
80:
22:
180:
147:
135:
190:
123:
17:
174:
92:
51:
104:
67:
The following 8 pages are in this category, out of 8 total.
35:This category has only the following subcategory.
8:
64:Pages in category "Mathematical induction"
69:This list may not reflect recent changes
7:
73:
37:
29:
14:
1:
212:
111:Course of values induction
16:The main article for this
15:
161:Well-founded induction
81:Mathematical induction
23:Mathematical induction
148:Transfinite induction
136:Structural induction
186:Mathematical proofs
124:Epsilon-induction
203:
196:Methods of proof
163:
113:
53:
211:
210:
206:
205:
204:
202:
201:
200:
171:
170:
169:
168:
167:
166:
159:
152:
140:
128:
116:
109:
97:
85:
61:
60:
59:
58:
55:
54:
48:Wellfoundedness
28:
27:
12:
11:
5:
209:
207:
199:
198:
193:
188:
183:
173:
172:
165:
164:
156:
153:
151:
150:
144:
141:
139:
138:
132:
129:
127:
126:
120:
117:
115:
114:
107:
101:
98:
96:
95:
89:
86:
84:
83:
77:
75:
74:
65:
62:
57:
56:
46:
45:
42:
39:
38:
33:
30:
13:
10:
9:
6:
4:
3:
2:
208:
197:
194:
192:
189:
187:
184:
182:
179:
178:
176:
162:
158:
157:
154:
149:
146:
145:
142:
137:
134:
133:
130:
125:
122:
121:
118:
112:
108:
106:
103:
102:
99:
94:
93:Bar induction
91:
90:
87:
82:
79:
78:
76:
72:
70:
63:
49:
44:
43:
40:
36:
32:Subcategories
31:
25:
24:
19:
181:Proof theory
66:
34:
21:
105:Coinduction
175:Categories
191:Recursion
18:category
52:(27 P)
20:is
177::
71:.
50:
155:W
143:T
131:S
119:E
100:C
88:B
41:W
26:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.