There are four aspects to Being in the Greek language and those are Reality, Truth, Presence, and Identity. Turns out that these aspects also apply to existence and other standings with respect to things in the world. Some languages like Arabic combine them so there is a term Haqq that means both reality and truth together. But in general you cannot talk about one aspect without implying the other aspects at the same time because they are all co-related to each other intrinsically because they are part of both Being and Existence and are thus more fundamental than either of those standings. In general a Formal System is related to truth, presence and identity through the properties of well-formedness, consistency and completeness. When you add reality to the formal system you bring it into juxtaposition with the world so that it is no longer isolated, and at the same time you generate meaning because the formal system is contrast to what actually exists in the world. This generates three new properties which are verifiability, validity, and coherence. We can say that reality is usually associated with a testing regime in which we test our formal systems in their relation to things that actually exist in the world and we look for verifiability, validity, and coherence with respect to that juxtaposition.