And yes, I am also aware that I left off one assumption from my third attempt (the claim that a statement is provable is itself a statement.)
Ik ben heel benieuwd naar jouw mening, laat het me weten in de comments! •••••••••••••••••••••••••••••••••••••••••••••