惑星の数

どうでもいい話しか思いつかないのですけど、惑星の数が８個ということに一応落ち着いたじゃないですか。分析系でよく持ち出される例に「惑星の数」があるんですけど、これから論文や本を書く人のうち結構な数の人がこの例を積極的に用いるだろうことをここに予測します。たぶん私も使う。