Incompleteness in the Land of Sets (Studies in Logic)