O14 数理逻辑、数学基础

O14 数理逻辑、数学基础

  • up: O1 数学
  • down:
    • O141 数理逻辑（符号逻辑）
      • O141.1 命题演算、谓词演算、类演算
        • O141.12 谓词演算（命题函项演算）
        • O141.13 类演算
      • O141.2 证明论
      • O141.3 递归论（递归函数、能行性理论）
      • O141.4 模型理论
        • O141.41 非标准分析
    • O142 应用数理逻辑
    • O143 数学基础
    • O144 集合论
      • O144.1 基本概念
      • O144.2 悖论
      • O144.3 公理集合论
      • O144.4 类型论
      • O144.5 描述集合论（解析集合论）