数学の基礎

論理、集合、そして他のあらゆる数学分野の土台となる形式体系。