图书介绍

SET THEORY AND ITS LOGIC2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

著
出版社：
ISBN：
出版时间：未知
标注页数：359页
文件大小：11MB
文件页数：371页
主题词：

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：5e70a90a1796188ff314c7068f1d0e50

下载说明

SET THEORY AND ITS LOGICPDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数要大于标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

INTRODUCTION1

Part One．The Elements7

Ⅰ．LOGIC9

1．Quantification and identity9

2．Virtual classes15

3．Virtual relations21

Ⅱ．REAL CLASSES28

4．Reality，extensionality，and the individual28

5．The virtual amid the real34

6．Identity and substitution40

Ⅲ．CLASSES OF CLASSES47

7．Unit classes47

8．Unions，intersections，descriptions53

9．Relations as classes of pairs58

10．Functions65

Ⅳ．NATURAL NUMBERS74

11．Numbers unconstrued74

12．Numbers construed81

13．Induction86

Ⅴ．ITERATION AND ARITHMETIC95

14．Sequences and iterates95

15．The ancestral100

16．Sum，product，power106

Part Two．Higher Forms of Number117

Ⅵ．REAL NUMBERS119

17．Program．Numerical pairs119

18．Ratios and reals construed124

19．Existential needs．Operations and extensions130

Ⅶ．ORDER AND ORDINALS139

20．Transfinite induction139

21．Order145

22．Ordinal numbers150

23．Laws of ordinals158

24．Their well-ordering and some consequences165

Ⅷ．TRANSFINITE RECURSION171

25．Transfinite recursion171

26．Laws of transfinite recursion177

27．Enumeration184

Ⅸ．CARDINAL NUMBERS193

28．Comparative size of classes193

29．The Schroder-Bernstein theorem203

30．Infinite cardinal numbers208

Ⅹ．THE AXIOM OF CHOICE217

31．Selections and selectors217

32．Further equivalents of the axiom224

33．The place of the axiom231

Part Three．Axiomatic Theories239

Ⅸ．RUSSELL＇S THEORY OF TYPES241

34．The constructive part241

35．Classes and the axiom of reducibility249

36．The modern theory of types259

Ⅻ．GENERAL VARIABLES AND ZERMELO266

37．The theory of types with general variables266

38．Cumulative types and Zermelo272

39．Axioms of infinity and others279

ⅩⅢ．STRATIFICATION AND ULTIMATE CLASSES287

40．＂New foundations＂287

41．Non-Cantorian classes．Induction again292

42．Ultimate classes added299

ⅩⅣ．VON NEUMANN＇S SYSTEM AND OTHERS310

43．The von Neumann-Bernays system310

44．Departures and comparisons315

45．Strength of systems323

SYNOPSIS OF FIVE AXIOM SYSTEMS331

LIST OF NUMBERED FORMULAS333

BIBLIOGRAPHICAL REFERENCES343

INDEX351