当前领域的信息：
本领域为 数理逻辑・数学基础
当前为2级领域
上位领域：数学
直接子领域有6个，二级子领域有0个
包含领域/概念总数288个

下位领域：

部分下位领域&概念树：