数学原論の理念と数学基礎論は違うし
前者は整理と統一的記述
後者は点検とメタ的言及