Sets.pdf

The PDF file Sets.pdf is the generated document obtained by processing the [LaTeX] document [Sets.tex] under [XeTeX].

It should read as a natural mathematical text on formal set theory and the necessary logical infrastructure.