色んな定義について、なんでそんな定義に落ち着いたのか、という建設過程を説明してる数学書を読んでみたい。