Oprava dôkazu o rekurzívnych konštrukciách

[Martin Sleziak]

Dôkaz tvrdenia 5.1.3 (o rekurzívnych konštrukciách na základe Peanových axióm), ktorý som urobil na včerajšej prednáške je žiaľ nesprávny. (Keďže som tam všade využíval predpoklad $M\ne\emptyset$, tak som dokázal iba jednoznačnosť, nie existenciu.)

Na webe je nová verzia textu k prednáške, kde už je tento dôkaz opravený, takže kto by chcel môže si ho pozrieť tam.