The branch of mathematical logic that studies sets, which can be informally described as collections of objects.