創建詞條
登錄/註冊
公理集合論導引
公理集合論導引
作者: 出版社:
科學出版社
出版年:
目錄
1
公理集合論導引
公理集合論導引
作者:
張錦文
ISBN
: 9787030018496
定價: 20.0
出版社: 科學出版社
出版年: 1999-02-01
與通常的公理集會論著作不同,本書在引人形式系統之前首先直觀而又嚴謹地闡述了類、集合、序數、基數以及勢的概念,為沒有受過邏輯訓練的讀者掌握
集合論
的基本概念提供了方便。第六章引進了集合論形式語言和ZF形式公理系統,對直觀集合論中的概念和公理進行了形式化處理,並在此基礎上建立了若干邏輯定理。以後各章介紹了公理集會論中的主要方法和結果,以及作者本人的研究成果。
基本信息
定價
20.0
ISBN
9787030018496
作者
張錦文
目錄
目錄