点此搜书

SET THEORY AND ITS LOGIC
  • 作 者:
  • 出 版 社:
  • 出版年份:2222
  • ISBN:
  • 标注页数:359 页
  • PDF页数:371 页
  • 请阅读订购服务说明与试读!

文档类型

价格(积分)

购买连接

试读

PDF格式

12

立即购买

点击试读

订购服务说明

1、本站所有的书默认都是PDF格式,该格式图书只能阅读和打印,不能再次编辑。

2、除分上下册或者多册的情况下,一般PDF页数一定要大于标注页数才建议下单购买。【本资源371 ≥359页】

图书下载及付费说明

1、所有的电子图书为PDF格式,支持电脑、手机、平板等各类电子设备阅读;可以任意拷贝文件到不同的阅读设备里进行阅读。

2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)

3、所有的电子图书都是原书直接扫描方式制作而成。

INTRODUCTION 1

Part One.The Elements 7

Ⅰ.LOGIC 9

1.Quantification and identity 9

2.Virtual classes 15

3.Virtual relations 21

Ⅱ.REAL CLASSES 28

4.Reality,extensionality,and the individual 28

5.The virtual amid the real 34

6.Identity and substitution 40

Ⅲ.CLASSES OF CLASSES 47

7.Unit classes 47

8.Unions,intersections,descriptions 53

9.Relations as classes of pairs 58

10.Functions 65

Ⅳ.NATURAL NUMBERS 74

11.Numbers unconstrued 74

12.Numbers construed 81

13.Induction 86

Ⅴ.ITERATION AND ARITHMETIC 95

14.Sequences and iterates 95

15.The ancestral 100

16.Sum,product,power 106

Part Two.Higher Forms of Number 117

Ⅵ.REAL NUMBERS 119

17.Program.Numerical pairs 119

18.Ratios and reals construed 124

19.Existential needs.Operations and extensions 130

Ⅶ.ORDER AND ORDINALS 139

20.Transfinite induction 139

21.Order 145

22.Ordinal numbers 150

23.Laws of ordinals 158

24.Their well-ordering and some consequences 165

Ⅷ.TRANSFINITE RECURSION 171

25.Transfinite recursion 171

26.Laws of transfinite recursion 177

27.Enumeration 184

Ⅸ.CARDINAL NUMBERS 193

28.Comparative size of classes 193

29.The Schroder-Bernstein theorem 203

30.Infinite cardinal numbers 208

Ⅹ.THE AXIOM OF CHOICE 217

31.Selections and selectors 217

32.Further equivalents of the axiom 224

33.The place of the axiom 231

Part Three.Axiomatic Theories 239

Ⅸ.RUSSELL'S THEORY OF TYPES 241

34.The constructive part 241

35.Classes and the axiom of reducibility 249

36.The modern theory of types 259

Ⅻ.GENERAL VARIABLES AND ZERMELO 266

37.The theory of types with general variables 266

38.Cumulative types and Zermelo 272

39.Axioms of infinity and others 279

ⅩⅢ.STRATIFICATION AND ULTIMATE CLASSES 287

40."New foundations" 287

41.Non-Cantorian classes.Induction again 292

42.Ultimate classes added 299

ⅩⅣ.VON NEUMANN'S SYSTEM AND OTHERS 310

43.The von Neumann-Bernays system 310

44.Departures and comparisons 315

45.Strength of systems 323

SYNOPSIS OF FIVE AXIOM SYSTEMS 331

LIST OF NUMBERED FORMULAS 333

BIBLIOGRAPHICAL REFERENCES 343

INDEX 351

购买PDF格式(12分)
返回顶部