Satz von Solovay

Satz von Solovay steht für folgende mathematischen Sätze: