]> 2022-02-20T11:14:49+01:00 Overleg:Beweren en bewijzen/de zuilen/Formalisering/5. Systematisch vertalen 1 nl Beweren en bewijzen/de zuilen/Formalisering/5. Systematisch vertalen