• 定义
  • 性质
  • 判定
  • 命题
    • 公理
      • 【是指依据人类理性的不证自明的基本事实。
      • 【世界api【自然资源），相当于python提供的基本api
    • 猜想
      • 【证明 证伪 不可被证
      • 假设
    • 引理
      • 【证明过程中的辅助命题
      • 【中间产物 相当复杂
      • 【相当于python的函数，
    • 定理
      • 【是经过受逻辑限制的证明为真的陈述。
      • 【相当复杂的推理【推理，基本作用）
      • 【从公理或其他已被证明的定理出发，经过受逻辑限制的演绎推导，得到的另一个真命题。
      • 【相当于python程序，或者一个打包好的程序级别的API【利用自然资源创造的事物）
      • 【各种语言软件包的第三方库
      • 推论
  • 原理
    • 【有无实践
    • 【通过实践或是试验等，总结出来的，规则或概念。
    • 定律
      • 【定律是一种理论模型，是描述客观世界变化规律的表达式或者文字。
      • 通过观察和试验发现的一种规律性，它描述了自然界中一种恒定关系或模式。