才能がない人間が
圧倒的な学習によって、
天才だとか言われる人間に対抗するために
生み出されたのが現代数学（形式的数学）なんだけど。