#Proving O<1 in an ordered field

8 messages · Page 1 of 1 (latest)

honest wedgeBOT
stone pelican
#

Suppose 0>=1

#

0=/=1 because 0 is the additive identity and 1 is the multiplicative identity

#

So the only possibility left would be 0>1 but that contradicts the assumption

stray elm
#

How does 0>1 contradict 0>=1

#

2 is greater than 1 but 2 is also greater than or equal to 1

honest wedgeBOT