104:
94:
73:
42:
21:
359:
300:
160:
232:
327:
387:
150:
382:
126:
363:
117:
78:
53:
237:
27:
348:"Schiitte" and "Schtitte" are OCR errors for "Schütte". For evidence, search for "Ein Ordinalzahlensystem" in
41:
185:
349:
59:
103:
355:
305:
330:
125:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
109:
93:
72:
20:
334:
367:
376:
338:
122:
99:
350:
http://www.personal.psu.edu/t20/papers/nichtbeweisbarkeit-aml-1985.pdf
35:
15:
329:. This is obviously wrong, the normal form should be unique.
308:
240:
188:
121:, a collaborative effort to improve the coverage of
321:
295:{\displaystyle \psi _{0}(\psi _{0}(\psi _{1}(0)))}
294:
226:
352:and compare to the same reference on this page.
302:are in normal form, while they both are equal to
182:According to the definition in the article, both
8:
39:
353:
67:
313:
307:
271:
258:
245:
239:
206:
193:
187:
360:2604:2000:F187:6000:68DB:4FFD:DEBA:8ECD
227:{\displaystyle \psi _{0}(\psi _{1}(0))}
69:
7:
115:This article is within the scope of
58:It is of interest to the following
14:
388:Low-priority mathematics articles
135:Knowledge:WikiProject Mathematics
383:Start-Class mathematics articles
322:{\displaystyle \varepsilon _{0}}
138:Template:WikiProject Mathematics
102:
92:
71:
40:
19:
155:This article has been rated as
289:
286:
283:
277:
264:
251:
221:
218:
212:
199:
1:
129:and see a list of open tasks.
404:
154:
87:
66:
30:by an editor in the past.
339:20:22, 12 May 2019 (UTC)
161:project's priority scale
368:16:34, 4 May 2020 (UTC)
118:WikiProject Mathematics
323:
296:
228:
178:Non-unique normal form
48:This article is rated
324:
297:
229:
28:proposed for deletion
344:Fixed Schütte's name
343:
306:
238:
186:
141:mathematics articles
319:
292:
224:
110:Mathematics portal
54:content assessment
370:
358:comment added by
175:
174:
171:
170:
167:
166:
34:
33:
395:
328:
326:
325:
320:
318:
317:
301:
299:
298:
293:
276:
275:
263:
262:
250:
249:
233:
231:
230:
225:
211:
210:
198:
197:
143:
142:
139:
136:
133:
112:
107:
106:
96:
89:
88:
83:
75:
68:
51:
45:
44:
36:
23:
16:
403:
402:
398:
397:
396:
394:
393:
392:
373:
372:
346:
309:
304:
303:
267:
254:
241:
236:
235:
202:
189:
184:
183:
180:
140:
137:
134:
131:
130:
108:
101:
81:
52:on Knowledge's
49:
12:
11:
5:
401:
399:
391:
390:
385:
375:
374:
345:
342:
316:
312:
291:
288:
285:
282:
279:
274:
270:
266:
261:
257:
253:
248:
244:
223:
220:
217:
214:
209:
205:
201:
196:
192:
179:
176:
173:
172:
169:
168:
165:
164:
153:
147:
146:
144:
127:the discussion
114:
113:
97:
85:
84:
76:
64:
63:
57:
46:
32:
31:
26:This page was
24:
13:
10:
9:
6:
4:
3:
2:
400:
389:
386:
384:
381:
380:
378:
371:
369:
365:
361:
357:
351:
341:
340:
336:
332:
314:
310:
280:
272:
268:
259:
255:
246:
242:
215:
207:
203:
194:
190:
177:
162:
158:
152:
149:
148:
145:
128:
124:
120:
119:
111:
105:
100:
98:
95:
91:
90:
86:
80:
77:
74:
70:
65:
61:
55:
47:
43:
38:
37:
29:
25:
22:
18:
17:
354:— Preceding
347:
181:
157:Low-priority
156:
116:
82:Low‑priority
60:WikiProjects
132:Mathematics
123:mathematics
79:Mathematics
50:Start-class
377:Categories
356:unsigned
331:Janek37
159:on the
56:scale.
364:talk
335:talk
234:and
151:Low
379::
366:)
337:)
311:ε
269:ψ
256:ψ
243:ψ
204:ψ
191:ψ
362:(
333:(
315:0
290:)
287:)
284:)
281:0
278:(
273:1
265:(
260:0
252:(
247:0
222:)
219:)
216:0
213:(
208:1
200:(
195:0
163:.
62::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.