數學結構

數學結構 王道誼 2020年9月8日 基本概念：集合。基於形式系統的集合+關係構成基本數學模型。 通用方法：公理化方法。基本概念衍生派生概念，基於數理邏輯利用公理和基本概念衍生系列定理構建特定學科分支，以集合和一階邏輯爲基礎構建公理系統。 邏輯基礎：數理邏輯。推理的兩個方面：內容+形式，形式系統有形式語言、推理規則和公理集合構成，是公理系統的形式框架。  

>>阅读原文<<