
Re: A size criterion: a question
Posted:
Jan 8, 2013 6:17 AM


On Jan 7, 3:14 am, Butch Malahide <fred.gal...@gmail.com> wrote: > On Jan 6, 6:12 pm, Butch Malahide <fred.gal...@gmail.com> wrote: > > > In this example, according to the definitions proposed by the original > > poster, we have both u = w and w > u. > > [Typo corrected.]
I didn't propose any 'definitions', I proposed 'characterizations' of primitive notions. Accordingly you CANNOT have u=w and w>u as long as we are extending a theory extending identity theory. Without axioms of identity theory however that might be possible?
Zuhair

