Mathematical foundations: sets