フレーゲとかラッセルが発展させた述語論理って、現代数学に不可欠でしょ?