Jazyk LNepřijmeSámSebe
2/3
42/45
Tvrzení: LNepřijmeSámSebe není přijímám
žádným TS.
Důkaz
(sporem):
• Předpokládejme,
že LNepřijmeSámSebe je přijímán
nějakým TS.
Uvažujme následující nekonečnou tabulku:
…
Všchny TS
Mi mi = d(Mi) PřijmeSámSebe(Mi)
111001001001101
11101010111100101
1110010001010001001001
…
…
Pozn.:
• PřijmeSámSebe(Mi ) = Ano pokud mi Î LPřijmeSámSebe
Ne pokud mi Ï LPřijmeSámSebe