数学结构

数学结构

王道谊 2020年9月8日

基本概念：集合。基于形式系统的集合+关系构成基本数学模型。

通用方法：公理化方法。基本概念衍生派生概念，基于数理逻辑利用公理和基本概念衍生系列定理构建特定学科分支，以集合和一阶逻辑为基础构建公理系统。

逻辑基础：数理逻辑。推理的两个方面：内容+形式，形式系统有形式语言、推理规则和公理集合构成，是公理系统的形式框架。