Laska neni matematika. Definice jsou nestale a vety nelze dokazovat. Snad prave proto je tak nevypocitatelna.