公理集合論導引

作者: 出版社: 科學出版社出版年:

公理集合論導引

作者: 張錦文ISBN: 9787030018496定價: 20.0齣版社: 科學出版社出版年: 1999-02-01

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