Moreover , the definition given here is oblivious to whether two expressions really should denote the same thing .
In fact , we have made no assumption that models are encoded in any formal logical system at all , although we briefly address this issue below .
The definition given here is oblivious to whether two expressions really should denote the same thing .
In fact , we have made no assumption that models are encoded in any formal logical system at all , although we briefly address this issue below .