>つまり"foundations (of mathematics)"は数理哲学(mathematical philosophy)であってlogicをmathematicalに研究する
>mathematical logicとは関連は深いが異なる分野だからこそ、両方を"and"でまとめる必要があるわけだ

おーっと、数理哲学が数学の一分野としてアメリカ数学会のお墨付きがついたということか！