Search results

...ny conceivable system of signs, and on beyond sense. Prolonged use of the prefix ''meta'' leads people to act as if a meta-language were step outside of ord <math>\operatorname{Con}(L) = \operatorname{proj}_{SI} L = L_{SI} = \{ (s, i) \in S \times I : (o, s, i) \in L ~\text{for some}~ o \in O \}.