論理数学みたいな基礎分野の進歩なんて100年スパンだろうな
今まで考えられてきたことが実現できるようになったのは進歩じゃないのか