we will proove by contradiction, using diagonalization trick. ( = same trick we will use in Undecidability context)
Ik ben heel benieuwd naar jouw mening, laat het me weten in de comments! •••••••••••••••••••••••••••••••••••••••••••••