https://9dok.net/document/yr3jg7vj-np-vollst-andige-probleme-uber-r-entscheidbarkeit-np.html