Jedes Problem in NP ist durch eine nicht-deterministische Touring-Maschine entscheidbar. Somit ist die Menge der nicht-deterministischen Touring-Maschinen größer als die Menge der NP-Probleme. Da sich alle nicht-deterministischen Touring-Maschinen durch Wörter über einem endlichen Alphabet kodieren lassen ist diese Menge abzählbar. Somit ist auch NP abzählbar. Da es überabzählbar viele Sprachen gibt, folgt daraus, dass es überabzählbar viele Probleme gibt, die noch schwerer sind als NP. In der Praxis sind die aber ziemlich irrelevant.
Ja so ungefähr das wollte ich hören. War irgendwie klar, dass du antwortest ^^. Aber eine Antwort habe ich auch schon gewusst, dachte mir aber, das muss irgendwie hier rein, diese Frage! ^^