## About *Open Set Theory*

*Open Set Theory* is a brief introduction to the philosophy of set theory. It is written for students with a little background in logic (such as one might get from *forallx:Cambridge*), and some high school mathematics. By the end of this book, students reading it might have a sense of:

- why set theory came about;
- how to reduce large swathes of mathematics to set theory + arithmetic;
- how to embed arithmetic in set theory;
- what the cumulative iterative conception of set amounts to;
- how one might try to justify the axioms of ZFC.

Chapters 1–3 of this book are taken from

Open Logic Text, with only tiny changes. Reciprocally, I am contributing

*Open Set Theory* back to the Open Logic Project.

Given the license, you can print as many
copies of this as you like, or use the source code to make derivative works, provided you respect various conditions. But if you do use *Open Set Theory*, please let me know! I can be contacted at *tecb2* at *cam* dot *ac* dot
*uk*. Equally, and especially since this is a first release, there are guaranteed to be mistakes in this book; if you spot any, please, let me know.

## Available downloads

*Open Set Theory* pdf

*Open Set Theory* LaTeX source code

## About the license

*Open Set Theory* is released under a Creative Commons license (CC BY 4.0; full details are available here). The following is a human-readable summary of (and not a substitute for) that license. You are free to:

*Share*: copy and redistribute the material in any medium or format

*Adapt*: remix, transform, and build upon the material for any purpose, even commercially.

Under the following terms:

*Attribution*: You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.

## Version history

**2019**

First release; license Creative Commons BY 4.0