現代数学にムーンシャイン現象というのがある。

http://www.s.u-tokyo.ac.jp/ken/key/12_5.html

>モジュラー関数の級数展開とモンスターの表現の指標に関係があるというのである。


モジュラー関数というのは１９世紀から研究されている長い伝統のある研究対象である。
しかし、モンスター群というのはやっと２０世紀後半になって発見された有限群である。
この一見まったく関係がないように見える二つの数学的対象に深い関係がある。
このことは、数学は数学者の自由意志で作られた公理系から
組み立てられたという浅薄な公理主義者の主張を疑わしめるに足るだろう。