來源：互聯(lián)網(wǎng)
作者: 出版社: 科學出版社出版年:
公理集合論導引
作者: 張錦文
ISBN: 9787030018496
定價: 20.0
出版社: 科學出版社
出版年: 1999-02-01
與通常的公理集會論著作不同，本書在引人形式系統(tǒng)之前首先直觀而又嚴謹?shù)仃U述了類、集合、序數(shù)、基數(shù)以及勢的概念，為沒有受過邏輯訓練的讀者掌握集合論的基本概念提供了方便。第六章引進了集合論形式語言和ZF形式公理系統(tǒng)，對直觀集合論中的概念和公理進行了形式化處理，并在此基礎上建立了若干邏輯定理。以后各章介紹了公理集會論中的主要方法和結果，以及作者本人的研究成果。
參考資料 >