Re: Dik!
Napsal: 4. 9. 2007 00:22
Jo taky se mi to zamlouvá, jinak v Robinsnově aritmetice (tedy bez axiomu indukce) to dokázat nelze, tam to totiž neplatíInvInv píše:Dikes, ja myslim, ze je to super. Bez axiomu indukce, jak jsme to zkouseli, to nejak dokazat nesloSlidy jsem nikdy predtim necetl ani na prednasce nebyl a nevedel jsem, co ma znamenat "<ex>". Rekl bych, ze to mas uplne spravne. Dik