</lurk> On 6/19/07, Ed Murphy <[EMAIL PROTECTED]> wrote:
Never mind all the rules that carry out mathematics without using "number", in which case R1023(a) may not apply anyway. I suggest amending it to "All mathematics is restricted to real numbers unless explicitly specified otherwise".
You mean ``arithmetic'', not ``mathematics''. Otherwise, you're throwing out too much. In particular, to implement a worthwhile executorship relation you need a partial order which is not total, and let's face it --- with all the half-baked partnership law and fake persons littered about Agora these days, you really need a good notion of executor. -- Maud <lurk>
