> On 23 Jan., 19:04, "Jesse F. Hughes" <je...@phiwumbda.org> wrote:>>> > Understand the Binary Tree. After you will have understood it, you>> > will understand, why it is important.>>>> No, let's first settle the point at hand.>> I do it by means of tools that I choose without any censorship from> your side.

I'm not being unreasonable here. You say ZF is inconsistent. I wantto see whether you can indeed show that.

So, I'd like to know what inconsistency you can show in ZF. You havealready said (don't let me put words in your mouth! Correct me if I'mwrong) that you can show ZF proves

U_n {1,...,n} is not infinite. (*)

Since we know it also proves the negation of (*), this would settleyour claim.

Now, I'd just like to see the proof of (*). Nothing else. Just showme that proof and we'll discuss it.

-- "Now I realize that he got away with all of that because sci.math isnot important, and the rest of the world doesn't pay attention.Like, no one is worried about football players reading sci.mathpostings!" -- James S. Harris on jock reading habits