The capacity of a formal language, logical system, or computational model to represent specified concepts, properties, or structures. Researchers study the expressibility of first-order logic to understand which mathematical properties it can capture.