Expressible

Although God cannot be fully expressible, Augustine gave emphasis to the possibility of God’s communication with humans by signs in Scripture (DDC 1.6.6).

Arora & Barak (2009) p.100 A logical characterization of PSPACE from descriptive complexity theory is that it is the set of problems expressible in second-order logic with the addition of a transitive closure operator.

Euclidean spaces have finite dimension. citation Intuitive overview One way to think of the Euclidean plane is as a set of points satisfying certain relationships, expressible in terms of distance and angle.

He is reputed to have observed that when the lengths of vibrating strings are expressible as ratios of integers (e.g. 2 to 3, 3 to 4), the tones produced will be harmonious, and the smaller the integers the more harmonious the sounds.

On page 120 Gel'fand suggests that the index of an elliptic operator should be expressible in terms of topological data.

The primary elements are 'unaccountable and unknowable, but perceivable' while the complexes are 'knowable and expressible' and so can be objects of 'true judgement' (202b).

To be proved, a theorem must be expressible as a precise, formal statement.