The Henkin Sentence

In this paper we discuss Henkin's question concerning a formula that has been described as expressing its own provability. We analyze Henkin's formulation of the question and the early responses by Kreisel and Löb and sketch how this discussion led to the development of Provability Logic. We argue that, in addition to that, the question has philosophical aspects that are still interesting.