On Mar 19, 12:29 pm, amy666 <tommy1...@hotmail.com> wrote: > Jesse wrote : > > > David C. Ullrich <dullr...@sprynet.com> writes: > > > >>mathematicians have proven ZFC to be consistant > > with ZFC. > > > >>is ZFC consistant ? > > > >>yes , we proved it consistant in ZFC. > > > > You should _really_ learn not to talk about things > > you > > > know nothing about! It is simply not true that > > we've > > > proved ZFC inconsistent in ZFC. > > ^^^^^^^^^^^^ > > I think you mean "consistent". > > no he didnt.
Yes, he did. He was disagreeing with the statement "we proved [that ZFC is consistent] in ZFC."