>DavidW's finitism proves that no such set exists.
Has he proved it in ZFC?
Has he proved it in any clearly specified formal system?
Has he proved anything at all?
Not as far as I can see.
Is there some formal system in which some of DavidW's claims would be provably correct?
Sure, but DavidW doesn't claim to be working in such a system. Rather, he claims ZFC is self-contradictory.
Yet you, TP, still defend him, pretending that he's simply working in some alternative formal system which precludes infinite sets.
And there's the lie, laid bare.
He's not claiming to be working in an alternate system.
He claims that ZFC is _self-contradictory_.
Of course he can't prove it, although he thinks he did.
So the OP is a crank since in his ignorance, he doesn't know better.
But you're a troll since you _do_ know better, and yet, you continually try to spin the story so as to further your own agenda, ignoring any evidence which shows that the crank you're trying to defend really is a crank.