文档介绍：LECTURES IN LOGIC
AND SET THEORY
Volume 2: Set Theory
E TOURLAKIS
York University
Cambridge, New York, Melbourne, Madrid, Cape Town, Singapore, São Paulo
Cambridge University Press
The Edinburgh Building, Cambridge , United Kingdom
Published in the United States by Cambridge University Press, New York
Information on this title: 0521753746
© e Tourlakis 2003
This book is in copyright. Subject to statutory exception and to the provision of
relevant collective licensing agreements, no reproduction of any part may take place
without the written permission of Cambridge University Press.
First published in print format 2003
ISBN-13 978-0-511-06659-7 eBook (NetLibrary)
ISBN-10 0-511-06659-7 eBook (NetLibrary)
ISBN-13 978-0-521-75374-6 hardback
ISBN-10 0-521-75374-0 hardback
Cambridge University Press has no responsibility for the persistence or accuracy of
s for external or third-party websites referred to in this book, and does not
guarantee that any content on such websites is, or will remain, accurate or appropriate.
To the memory of my parents
Contents
Prefacepagexi
IABitofLogic:AUser’sToolbox1
A Digression into the Metatheory:
InformalInductionandRecursion20
IITheSet-TheoreticUniverse,Na¨ıvely99
“RealSets”99
¨ıveLookatRussell’sParadox105
IIITheAxiomsofSetTheory114
;Separation119
;theEmptySet130
vii
viii Contents