数学における「定義」ってなんですか?