出版時間:1999-02-01 出版社:科學出版社 作者:張錦文
Tag標簽:無
內(nèi)容概要
與通常的公理集會論著作不同,本書在引人形式系統(tǒng)之前首先直觀而又嚴謹?shù)仃U述了類、集合、序數(shù)、基數(shù)以及勢的概念,為沒有受過邏輯訓練的讀者掌握集合論的基本概念提供了方便。第六章引進了集合論形式語言和ZF形式公理系統(tǒng),對直觀集合論中的概念和公理進行了形式化處理,并在此基礎(chǔ)上建立了若干邏輯定理。以后各章介紹了公理集會論中的主要方法和結(jié)果,以及作者本人的研究成果。
本書可供大專院校數(shù)學系學生、教師以
書籍目錄
序
第一章 集合與類
1 外延原則與概括原則
2 空集合與對集合的存在原則
3 冪集合的存在原則
4 并集合存在原則
5 子集合分離原則
6 關(guān)系
7 函數(shù)
8 單值化原則
9 替換原則
10 類與集合的封閉性運算
11 存在極小元原則
習題
第二章 序數(shù)
1 自然數(shù)集合
2 傳遞集合
3 自然數(shù)集合的三歧性
4 序數(shù)的定義
5 序數(shù)的傳遞性與三歧性
6 序
圖書封面
圖書標簽Tags
無
評論、評分、閱讀與下載