The mathematical study of logical statements relating to arbitrary sets of objects and involving predicates and quantifiers as well as propositional connectives.