And set theory and lambda calculus have nice 'interoperability' (e.g. λx[Dog(x)] is a characteristic lambda function for the set {x | x is a dog}.)