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:
M1
M2
M3
Textové pole: …
…
Textové pole: Všchny TS
Všchny TS
Mi mi = d(Mi) PřijmeSámSebe(Mi)
111001001001101
11101010111100101
1110010001010001001001
Yes
No
Yes
Textové pole: …
…
Textové pole: …
…
Pozn.:
• PřijmeSámSebe(Mi ) = Ano pokud mi Î LPřijmeSámSebe
            Ne  pokud mi Ï LPřijmeSámSebe