A formal system for reasoning about propositions and predicates, including quantifiers like "for all" and "there exists".