Jazyk LNepřijmeSámSebe 3/3
43/45
• Poznámka: LNepřijmeSámSebe = {mi : mi Ï L(Mi), i =  1, …}
• Nechť L(Mk) = LNepřijmeSámSebe
• PřijmeSámSebe(Mk) = Ne implikuje
      mk Ï L(Mk) implikuje
      mk Î LNepřijmeSámSebe implikuje
      mk Î L(Mk)
• PřijmeSámSebe(Mk) = Ano implikuje
      mk Î L(Mk) implikuje
      mk Ï LNepřijmeSámSebe implikuje
      mk Ï L(Mk)
• LNepřijmeSámSebe není tedy přijímán žádným TS Mk
spor
spor