■http://anond.hatelabo.jp/20090930121446

定義でしょ。

もちろん×演算をもっと基本的な別の公理から演繹する形で定義するなら（a,b∈N, a×b = sum_{i=1^b}aなど）証明できなければならない。

Permalink | 記事への反応(0) | 12:17

ツイートシェア