Re: completeness what is it exactly

On Jul 15, 10:25 am, translogi <wilem...@xxxxxxxxxxxxxx> wrote:

The problems start when it is not given that P is an sentence.

I don't know what context in which it is not given that something is
or is not a sentence that you see a problem.

Would it then mean that
P-> P isn't a sentence either?

If P is not a sentence, the P->P is not a sentence.

That is ensured by the recursive definition of 'occurs free in'.

I don't see whatever difficulty you think there is.

MoeBlee

.