Fórum studentů MFF UK

Zkusil jsem to rozepsat, jak říkala QZuzka. Rozhodně to ale není důkaz s jistotou, jen návrh :) Označím si množinu a její doplňek: $A = \{x: W_x eq \emptyset}\}$ $\overline A = \{x: W_x = \emptyset}\}$ Podle Strojilových skript , strana 5, důsledek 2: $A$ je rekurzivně spočetná, protože se dá vyjádř...