Proper noun
Bew
A surname from Welsh.
Talking to Terrorists: Making Peace in Northern Ireland and the Basque Country (pp. 197–202), John Bew, Martyn Frampton, and Inigo Gurruchaga, Hurst & Co., London. Source: Internet
The name Bew is short for beweisbar, the German word for "provable"; this name was originally used by Gödel to denote the provability formula just described. Source: Internet
Making Sense of the Troubles (London: Penguin Books 2000) * Paul Bew and Gordon Gillespie. Source: Internet
Note that "Bew(y)" is merely an abbreviation that represents a particular, very long, formula in the original language of T; the string "Bew" itself is not claimed to be part of this language. Source: Internet
Thus when we apply the diagonal lemma to this new Bew, we obtain a new statement p, different from the previous one, which will be undecidable in the new system if it is ω-consistent. Source: Internet