ZFC je oznaka za standardan sstem aksioma teorije skupova.
Sa A označimo hipotezu da postoji nekonstruktibilan skup.
Sa B označimo hipotezu da postoji Suslinovo drvo.
1. Dokazano je da se iz ZFC aksioma ne može dokazati A.
2. Dokazano je da se iz ZFC aksioma ne može opovrgnuti A.
3. Dokazano je da se iz ZFC aksioma ne može dokazati B.
4. Dokazano je da se iz ZFC aksioma ne može opovrgnuti B.
5. Iz ZFC aksioma je izvedeno A ili B.
Sve navedeno se može naći u knjizi "Set Theory" autora Tomasa Jech-a, koja je jedan od standardnih udžbenika teorije skupova za studente doktorskih studija.
Dakle, ne može se tvrditi da nešto ne postoji na osnovu toga što se ne može dokazati postojanje toga.