星座娱乐

星座娱乐由於'''長s'''和'''f'''的外型非常相似，所以不少人以此作為笑話的題材。最常見的笑話，是利用“suck”或“sucking”這個字來作粗口的暗示，例如：“sucking pig”。又例如，在本尼·希尔的節目裡，有一集他的歌有這麼一句歌詞：“Fad-Eyed Fal”，其實是“Sad-Eyed Sal”。

標準慣例是將未證實的形式用星號標記岀來：*（“水”，比較英語的 ''water''）、*（“狗”，比較英語的 ''hound''）、*（“三”，陽性，比較今日英語沒有詞性的 ''three''）等。現代印歐語的很多詞都是從這些“原始詞”經過有規律的語音變化發展而來（比如格林定律）。

令𝑝是如上构造的不确定命题，且假定系统的相容性可以在系统内部证明。上述证明说明，如果系统是相容的，则𝑝是不可自证的。这个证明过程可以在系统内部形式化，因此命题“𝑝是不可证明的”或者“''~''𝑃(𝑝)”可以在系统内证明。