Paul Tanner III says: >This asymmetry in the non-dual distributive property that "connects" the two binary operations of this type of ringoid fully explains the asymmetry between the binary operations we see in such examples of such a ringoid as the real numbers and its subsets like the integers.
I've mentioned before Tarski's axioms for real numbers: they say nothing outright about either multiplication (existence and properties thereof are proved as theorems later), or (obviously) distributivity.
So, under Tarskian real numbers, Paul, you are wrong, again.
