fogalmazhatók
Fogalmazhatók is a Hungarian term used in logic and mathematics to describe entities that can be expressed by a formal formula within a given language. In this usage, a set, relation, or property is said to be fogalmazható in a language L if there exists a formula in L whose interpretation matches the entity in a chosen structure M.
Formally, let M be a structure for a language L. A subset A of the domain of
Examples help illustrate the idea. In the language of arithmetic with + and ×, the property of being
Notes: the term is closely related to definability, though some contexts distinguish scope or perspective (definability