van Eemeren van de Ven van de Vendel van der Waerden猜想 van der waerden猜想 van Dulmen van Manen van Zuylen van der Erve