EnglishBattle

metamathematicsのWordNet

  • 1名詞

    意味

    the logical analysis of mathematical reasoning

    数学的推論の論理的分析

    上位語
    分野