Godel's theorem door D. van Dalen