Heeft iemand een idee hoe gedetaileerd we die bewijzen moeten kennen? Ik bedoel : er wordt in die bewijzen soms verwezen naar eigenschappen en definities van bv. transitiefuncties enzo, ik neem aan dat we die dingen niet nog eens moeten aantonen?
Ook, in sommige bewijzen worden sommige dingen overgeslagen of gewoon aangenomen (e.g. uit een simpele inductie op lengte van w volgt dan dat ...), mogen we dit ook gwn zo overnemen of die inductie best uitwerken ?