On Mar 16, 3:08 am, quasi <qu...@null.set> wrote: > Transfer Principle wrote: > >ZFC proves there's an infinite set. > > Ok, no problem with that. > > >DavidW's finitism proves that no such set exists. > > Has he proved it in ZFC? > > No. > > Has he proved it in any clearly specified formal system? > > No. > > 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.
And yet you engage him. Why? You _know_ he is a troll, you _know_ he lies, you know his posts have zero mathematical content. Why can't you just ignore him? All his phony white knight posturing, indeed his entire reason for polluting sci.math, is that he can get other people to respond to his drivel. Put him in your killfile, where he belongs. Don't feed the troll!