Here is a short paper I wrote about set theory awhile back. Basically, it discusses functions and glosses over the consequences of the Cantor–Bernstein–Schroeder theorem. It was fun to write, but it is not a light read for non-mathematicians. It is available here.