Enthält sich der Satz aller Sets? Warum oder warum nicht?
Es kann nicht einen Satz aller Sätze U geben, der sich selbst in der Standard-Set-Theorie enthält. Ein Argument dagegen ist Cantors Theorem: Wenn man den Powerset P(U) des genannten Satzes U nimmt, muss er eine streng größere Kardinalität haben als U. Dies bedeutet, dass der Powerset P(U) nicht in U enthalten ist, so dass U nicht alle Sätze enthalten kann.