與通常的公理集會(huì)論著作不同，本書在引人形式系統(tǒng)之前首先直觀而又嚴(yán)謹(jǐn)?shù)仃U述了類、集合、序數(shù)、基數(shù)以及勢(shì)的概念，為沒有受過邏輯訓(xùn)練的讀者掌握集合論的基本概念提供了方便。第六章引進(jìn)了集合論形式語言和ZF形式公理系統(tǒng)，對(duì)直觀集合論中的概念和公理進(jìn)行了形式化處理，并在此基礎(chǔ)上建立了若干邏輯定理。以后各章介紹了公理集會(huì)論中的主要方法和結(jié)果，以及作者本人的研究成果。
本書可供大專院校數(shù)學(xué)系學(xué)生、教師以
目錄：
序
第一章 集合與類
1 外延原則與概括原則
2 空集合與對(duì)集合的存在原則
3 冪集合的存在原則
4 并集合存在原則
5 子集合分離原則
6 關(guān)系
7 函數(shù)
8 單值化原則
9 替換原則
10 類與集合的封閉性運(yùn)算
11 存在極小元原則
習(xí)題
第二章 序數(shù)
1 自然數(shù)集合
2 傳遞集合
3 自然數(shù)集合的三歧性
4 序數(shù)的定義
5 序數(shù)的傳遞性與三歧性
6 序
|
