>>12316506Yeah I meant to use it similarly as you did and just jumped the gun w it
It's effectively that the existence of an object is predicated off another object so truth preservation holds in what is the image of another. This follows Quine in saying Every(thing) exists and therefore No(thing) does not exist except minus the nominalism. In this I can keep lem and just paraphrase a falsity as just that which isn't what exists and I can keep an order of precedence of truth to operate between.
In math it would look like, f(x) = x2 - x = 0 where I can maintain truth preservation from x to f(x). Obviously x has a larger set of assignments than f(x) with f(x) being limited by lem to x and by truth preservation of x making that order.
