Le lundi 27 juillet 2015 00:02:32 UTC, xorxes a écrit :
Why do I seem to be against it? I agree with Ilmen's expansions, and notice that he does have a prenex in a poi clause in one of the steps.
mu'o mi'e xorxes
What Ilmen showed in the first formation is giving a model to the nested {poi}-clause: that is a meta-linguistic formation mentioning truth value. You said that the internal bound variables in {poi}-clause have nothing to do with universe of discourse, and I thought you meant the truth value of the internal bridi of {poi}-clause has nothing to do with the truth value of the outer bridi. Then it is against the formation of Ilmen that connects the truth value of inner and outer of {poi}-clause.