Theory of Semantics - Formal Axiomatic Framework | Synapse