相關詞條
-
集合論
數學的一個基本的分支學科,研究對象是一般集合。集合論在數學中占有一個獨特的地位,它的基本概念已滲透到數學的所有領域。集合論或集論是研究集合(由一堆抽象物...
簡介 基礎概念 存在異議 歷史作用 早期研究 -
公理集合論
公理集合論(axiomatic set theory)是數理邏輯的主要分支之一,是用公理化方法重建(樸素) 集合論的研究以及集合論的元數學和集合論的新的...
原理簡介 詳細內容 替換公理 自然數 極限序數 -
樸素集合論
在純數學中,樸素集合論是探討數學基礎時,用到的幾個集合論中的一個,樸素集合論主要是將用一般語言的形式處理集合問題,依賴於把集合作為叫做這個集合的“元素”...
簡介 集合、成員及相等 特點 悖論 -
古典集合論
古典集合論(classical set theory)集合論的基礎學科.指由德國數學家康托爾(Cantor,G. (F. P.)創立的用素樸描述方式陳述...
起源發展 理論原則 -
策梅洛集合論
集合論的公理公理 集合論的一個定理。 Zermelo
策梅洛簡介 策梅洛集合論 -
素樸集合論
內容介紹本書前六章是集合論的基本內容。第一章集合的基本概念,包括子集和冪集、集合的運、卡氏集和集合族等;第二章映射,映射是集合論中和集契約樣...關係;第四章基數,第五章序數,第六章選擇公理,這三部分是集合論中最為深刻...
內容介紹 作品目錄 -
現代數學
現代數學時期是指由20世紀40年代至今,這一時期數學主要研究的是最一般的數量關係和空間形式,數和量僅僅是它的極特殊的情形,通常的一維、二維、三維空間的幾...
簡介 歷史 現代數學7大難題 -
現代邏輯引論
謂詞演算第五章 模態邏輯第六章 悖論和集合論的公理化第七章 語義學和...十一章 歸納邏輯現代邏輯是傳統邏輯發展的最新階段,是用形式化的方法研究思維的形式結構及其規律的學科。當今,現代邏輯處於蓬勃發展時期。幾十年來,它...
-
現代西方哲學
現代西方哲學是哲學(Phil)的一個分支 ,19世紀中葉以來主要流行於西方世界的各種哲學流派的總稱。 現代西方哲學一般指黑格爾之後至今的西方哲學。它的特...
簡介 時代背景 基本特徵 歷史演變 主要論題 -
集合論含有原子的自然模型和布爾值模型
《集合論含有原子的自然模型和布爾值模型》,作者李娜 ,由北京師範大學出版社於2011年出版。不僅從理論上豐富了數理邏輯的重要分支——公理集合論的刻畫集論...
內容簡介 作者簡介 目錄