A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. Az jelölésekkel, azonos átalakítással: | | Tehát a kívánt előállítás szerint az első tag az első nem negatív egész szám összege, a második pedig ezek közül az egyik. Így minden természetes szám előállítható. Összegezzük 0-tól kezdve a természetes számokat addig, míg a következő hozzávétele -nél nagyobb összeget nem adna, ehhez nyilván még egy olyan számot kell adni, ami a következőnél kisebb, tehát már szerepelt. Az előállítás egyértelmű, ugyanis ha a számok összegzését hamarabb hagyjuk abba, mint az előző részben mondottuk, akkor nem a már összegzettek közül lesz egy, ha pedig később, akkor negatív lesz. |