# A calculus of the absurd

### Chapter 7 Sets and numbers

#### 7.1 Sets

Sometimes it is helpful to talk about collections of things. Some things have common attributes, which means that any reasoning we apply to one object with this attribute can be applied to any other object with these attributes. Sets are about abstraction - we can focus less on the individual particularities of different objects, and instead focus more on their commonalities.

Suppose that we have a set $$R$$ such that
$$R = \{ A : A \notin A \}$$
That is, “$$R$$ is the set of objects which are not elements of themselves”.
However, is $$R \in R$$? Well, if $$R$$ is in $$R$$, then $$R$$ (by definition of $$R$$) is not in $$R$$. If $$R$$ is not in $$R$$, then $$R$$ (by definition of $$R$$) is in $$R$$. This is a paradox - it cannot be true.