%PDF-1.4 % 5 0 obj << /S /GoTo /D (chapter*.2) >> endobj 8 0 obj (Preface) endobj 9 0 obj << /S /GoTo /D (chapter*.3) >> endobj 12 0 obj (Introduction) endobj 13 0 obj << /S /GoTo /D (chapter.1) >> endobj 16 0 obj (1 Basics) endobj 17 0 obj << /S /GoTo /D (section.1.1) >> endobj 20 0 obj (1.1 Classes and Sets) endobj 21 0 obj << /S /GoTo /D (section.1.2) >> endobj 24 0 obj (1.2 Special Classes) endobj 25 0 obj << /S /GoTo /D (chapter.2) >> endobj 28 0 obj (2 Boolean Algebra of Classes) endobj 29 0 obj << /S /GoTo /D (section.2.1) >> endobj 32 0 obj (2.1 Boolean Class Operators) endobj 33 0 obj << /S /GoTo /D (section.2.2) >> endobj 36 0 obj (2.2 Boolean Algebra) endobj 37 0 obj << /S /GoTo /D (section.2.3) >> endobj 40 0 obj (2.3 Order) endobj 41 0 obj << /S /GoTo /D (section.2.4) >> endobj 44 0 obj (2.4 Singletons and Class Pairs) endobj 45 0 obj << /S /GoTo /D (section.2.5) >> endobj 48 0 obj (2.5 Infinite Boolean Operators) endobj 49 0 obj << /S /GoTo /D (section.2.6) >> endobj 52 0 obj (2.6 Power Class Building) endobj 53 0 obj << /S /GoTo /D (chapter.3) >> endobj 56 0 obj (3 Sets, Relations and Functions) endobj 57 0 obj << /S /GoTo /D (section.3.1) >> endobj 60 0 obj (3.1 Sets) endobj 61 0 obj << /S /GoTo /D (section.3.2) >> endobj 64 0 obj (3.2 Ordered Pair) endobj 65 0 obj << /S /GoTo /D (section.3.3) >> endobj 68 0 obj (3.3 Cartesian Product) endobj 69 0 obj << /S /GoTo /D (section.3.4) >> endobj 72 0 obj (3.4 Relations) endobj 73 0 obj << /S /GoTo /D (section.3.5) >> endobj 76 0 obj (3.5 Relation Algebra) endobj 77 0 obj << /S /GoTo /D (section.3.6) >> endobj 80 0 obj (3.6 Equivalence Relations) endobj 81 0 obj << /S /GoTo /D (section.3.7) >> endobj 84 0 obj (3.7 Maps and Functions) endobj 85 0 obj << /S /GoTo /D (chapter.4) >> endobj 88 0 obj (4 Natural Numbers) endobj 89 0 obj << /S /GoTo /D (section.4.1) >> endobj 92 0 obj (4.1 Foundation and Infinity) endobj 93 0 obj << /S /GoTo /D (section.4.2) >> endobj 96 0 obj (4.2 Definition and Basic Properties) endobj 97 0 obj << /S /GoTo /D (section.4.3) >> endobj 100 0 obj (4.3 Induction) endobj 101 0 obj << /S /GoTo /D (section.4.4) >> endobj 104 0 obj (4.4 Sequences and Normal Functions) endobj 105 0 obj << /S /GoTo /D (section.4.5) >> endobj 108 0 obj (4.5 Recursion) endobj 109 0 obj << /S /GoTo /D (chapter.5) >> endobj 112 0 obj (5 Axiom of Choice) endobj 113 0 obj << /S /GoTo /D (section.5.1) >> endobj 116 0 obj (5.1 Well-Ordering) endobj 117 0 obj << /S /GoTo /D (section.5.2) >> endobj 120 0 obj (5.2 Applications of the Axiom of Choice) endobj 121 0 obj << /S /GoTo /D (chapter.6) >> endobj 124 0 obj (6 Continuum) endobj 125 0 obj << /S /GoTo /D (chapter*.14) >> endobj 128 0 obj (Bibliography) endobj 129 0 obj << /S /GoTo /D (chapter*.14) >> endobj 131 0 obj (Index) endobj 132 0 obj << /S /GoTo /D [133 0 R /Fit ] >> endobj 135 0 obj << /Length 169 /Filter /FlateDecode >> stream xu10FSkQAġhlՂtބӻ{CuzOd4@h6¨p78ͻ_,GV'?-Ӌ;L Dh!+rmrgAR~g} Զ"Wh~^ƴ41%Ev. v7 endstream endobj 133 0 obj << /Type /Page /Contents 135 0 R /Resources 134 0 R /MediaBox [0 0 595.276 841.89] /Parent 140 0 R >> endobj 136 0 obj << /D [133 0 R /XYZ 99.895 794.796 null] >> endobj 137 0 obj << /D [133 0 R /XYZ 99.895 776.796 null] >> endobj 134 0 obj << /Font << /F15 138 0 R /F16 139 0 R >> /ProcSet [ /PDF /Text ] >> endobj 146 0 obj << /Length 479 /Filter /FlateDecode >> stream xڍSM0WmVm7n 0|'46c$U^̛y7け0y$yhI0dfE9l00pуSbbVHu?(oW&3jvZ1O =HxtBs;#?j}3UF\
XB]