Re: Missing equality operator

David R Tribble wrote:
>> I was thinking about this in the context of Douglas Adam's
>> Bistromathics (http://hhgproject.org/entries/bistromathics.html),
>> wherein a "recipriversexclusion" number is a number that is equal to
>> anything except itself. Naturally, this led to thinking about
>> excluding the '=' equality operator from a hypothetical number
>> theory, so that (conveniently?) numbers could not ever be equal to
>> themselves.
>

William Elliot wrote:
> Thinking thoughts about bistromathics requires your improbability drive to
> exceed the improbability of your improbability drive exceeding the
> improbability of your improbability drive exceeding the universal speed
> limit of 186,000 miles per second. So when you get up to speed, you'll
> get a speeding ticket.

Obviously. But I _was_ being serious.

There have been many mathematical systems that denied or altered the
axioms of basic arithmetic or geometry, often with interesting results.


So,
>> Are there any interesting number theories derived from the basic
>> arithmetic axioms while omitting the equality (reflexive) operator?

.