Dont think I would want to waste a real mathematician’s time with your sophistry, since Its easily debunkable here.
Oh, I know you personally will never go to someone who might teach you something. My intention was to hint to other readers that if they want to know the truth, they have an easy way to find out.
Consistent with Godel, Cohen went outside of the system F by introducing a new technique, ramified forcing .That still doesnt violate Godel’s theorems…
Thank you for admitting I am right. You have just stated very clearly that one can prove a system consistent.
…which is probably why you felt the need to go back and embellish your post with more nonsense.
Yes, I understand that my posts are at times incomprehensible to you, to the point of seeming nonsensical. i can live with that.
Are you the only person who thinks that Cohen disproved Godel…
You need a scorecard to remind you who the players are. Clayton is the one who claimed all systems might contain hidden contradictions that we will never know about. This is false, and reveals a deep ignorance fo mathematics. In particular, Paul Cohen’s theorem is an instance, one of many , of mathematicians proving a certain system F contains no hidden contradictions.
So I was asserting, correctly, that Cohen disproves Clayton.
You, on the other hand, claimed that Malachi disproves Paul Cohen. You did not grasp that you are saying that, so I pointed it out to you. You are welcome.