Truth is the mapping from representations of actuality to actuality itself.

From Wolfram MathWorld:

A map is a way of associating unique objects to every element in a given set. So a map f : A ↦ B from A to B is a function f such that for every a ∈ A, there is a unique object f(a) ∈ B. The terms function and mapping are synonymous for map.

When we unify the correspondence theory of truth with the coherence theory of truth into a single specification we find that truth is nothing more than the correspondence between representations of actuality and actuality itself.

These representations of actuality are usually encoded in the abstraction of language, but, can also include direct memories of physical sensations.

The actuality itself can be some object that exists physically in the world, or (to encompass the coherence theory of truth) also include other abstractions.

All of the great paradoxes of the world can be shown to shown to be merely incoherent and nothing more. This is to expressly include the Halting Problem and the Incompleteness Theorem.

2018 Truth Schema

∀L ∈ Formal_Systems True(L, C) ↔ ∃Γ ⊆ Axioms(L) (Γ ⊢ C)