pr: consts a size z t:= pred (if (iszero 0) then (succ (succ 0)) else 0)
o1: jazyk NBL, induktivna ?! (neviem co) NBL (toto co bolo, ze mnozina NBL je najmensia mozna mnozina taka, ze...)
o2: podtyp, podtypova relacia
akoze priklad som vypocital a mal som aj k jednej aj k druhej otazke, presne secko tak, jak bolo v prednaskach (co som nevedel, som si pomohol externym zdrojom), ale jak som bol odpovedat, tak sa ma take chujoviny vypytovala, ze som nevedel ani co sa pyta... prosto citil som sa jak pri Bacovi na LS s tym rozdielom, ze Novitzka mi dala "B", aj ked pravdu povediac, ked by som sa mal sam ohodnotit, thak si dam nromlane sebakriticky "E" podla odpovede...