>>869
>昔は講義でも扱っていたそうだけどな。

分配則あたりを公理にするって手法でしょ？多分。
まあ、乗法の素朴な定義が分配則そのものだという話もあるが、実数の場合はどうなんだろうね。