Set theory, logic and their limitations - Machover, Moshe (Cambridge University Press, 1996)