定義の重要性

定義は、そこから導かれる性質が全てわかったとき、もはや忘れてよい。

何故なら定義を必要とする推論は全て導かれた性質のみから導けるから。

だから重要なのは定義じゃなくて普遍性なのだと。

多分。