当前领域的信息：
本领域为 非经典逻辑
当前为3级领域
上位领域：数理逻辑・数学基础
包含领域/概念总数6个

部分下位领域&概念树：