This is not a sentence.

By Dennis J. Darland

July 8, 2007

On page 598 of Goedel in van Heijenoot in (1) substitute F x for Bew x , where F x means x is a formula.

Follow Goedel’s logic analogously.

If [R(q);q] is true , it is not a sentence, so it cannot be true.

If [R(q);q] is false, it is a sentence, and so it indeed is false.

I just find this amusing; I don’t suppose it important.

Back to Top http://dennisdarland.com/philosophy/index.html