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