 Further Reading: For more on the incompleteness theorems see Smoryński (1977), Buss (1998a), and Lindström (2003).  For more on the independence techniques in set theory see Jech (2003) and Kunen (1980).