Set theory, logic and their limitations - Machover, Moshe (cambridge, 1996)