RK – Diagonalisierung

2 Fragestellungen (21.3.2017):

  • Liar <-> Russell vs. Truthteller/Löb <-> {X|X in X} ?
  • Smullyan: Theorem R: Welche (Rück-)Beziehung von R zu R’ ist nötig, um Paradoxien zu bekommen; welche Bedingungen an d?