数学に関する研究と報告

ロジックと基礎

論理と基礎は、主に集合論に焦点を当てた数学のサブ分野であり、数学への論理の応用にも重点を置いています。それらは集合論、再帰理論、モデル理論、大規模基数、微細構造理論、証明理論の下位分野に分かれています。