Attenzione 
Dire che  B rappresenta un insieme, qualsiasi sia la proposizione P, e' sbagliato.

E' classico l'esempio della proposizione .

Dal supporre che sia un insieme si ottiene il cosiddetto  " Paradosso di Russel ".