Oprava dôkazu o rekurzívnych konštrukciách
Posted: Tue Nov 26, 2013 7:18 pm
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.
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.