Pages

Monday, May 30, 2011

Henkin sentences

A Henkin Sentence proves it own provability. I can not seem to find some good examples though.
 

No comments:

Post a Comment