出版時(shí)間:1999-02-01 出版社:科學(xué)出版社 作者:張錦文
Tag標(biāo)簽:無(wú)
內(nèi)容概要
與通常的公理集會(huì)論著作不同,本書(shū)在引人形式系統(tǒng)之前首先直觀而又嚴(yán)謹(jǐn)?shù)仃U述了類、集合、序數(shù)、基數(shù)以及勢(shì)的概念,為沒(méi)有受過(guò)邏輯訓(xùn)練的讀者掌握集合論的基本概念提供了方便。第六章引進(jìn)了集合論形式語(yǔ)言和ZF形式公理系統(tǒng),對(duì)直觀集合論中的概念和公理進(jìn)行了形式化處理,并在此基礎(chǔ)上建立了若干邏輯定理。以后各章介紹了公理集會(huì)論中的主要方法和結(jié)果,以及作者本人的研究成果。
本書(shū)可供大專院校數(shù)學(xué)系學(xué)生、教師以
書(shū)籍目錄
序
第一章 集合與類
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 序
圖書(shū)封面
圖書(shū)標(biāo)簽Tags
無(wú)
評(píng)論、評(píng)分、閱讀與下載
250萬(wàn)本中文圖書(shū)簡(jiǎn)介、評(píng)論、評(píng)分,PDF格式免費(fèi)下載。 第一圖書(shū)網(wǎng) 手機(jī)版