Matheology § 016

[WM]

If we define the real numbers in a strictly formal system, where only
finite derivations and fixed symbols are permitted, then these real
numbers can certainly be enumerated because the formulas and
derivations on the basis of their constructive definition are
countable.

Definiert man die reellen Zahlen in einem streng formalen System, in
dem nur endliche Herleitungen und festgelegte Grundzeichen zugelassen
werden, so lassen sich diese reellen Zahlen gewiß abzählen, weil ja
die Formeln und die Herleitungen auf Grund ihrer konstruktiven
Erklärungen abzählbar sind. [Kurt Schütte: "Beweistheorie", Springer
(1960)]
http://www.amazon.de/Beweistheorie-Kurt-Sch%C3%BCtte/dp/B0000BNKI7/ref=sr_1_1?s=books&ie=UTF8&qid=1286292242&sr=1-1

Regards, WM