Sorites-paradoksi
Kun Sorites-paradoksi esitetään joukkona ehtolauseita, joku lauseista on aina epätosi, ja muiden joukossa voi olla lauseita, jotka eivät ole enempää tosia kuin epätosiakaan. Keefen mukaan Sorites-paradoksin tapauksessa supervaluationismi välttää paradoksin, koska sen ei tarvitse hyväksyä kaikkia premissejä.
Numeroituva joukko
Edelliseen esimerkkiin sisältyy paradoksi (katso Galilein paradoksi), joka on kiehtonut matemaatikkoja toista sataa vuotta. Miten voi parillisia lukuja olla yhtä monta kuin luonnollisia lukuja? Eikö parillisia lukuja ole puolet vähemmän kuin luonnollisia lukuja? Cantorin ajatusleikki parinmuodostuksesta osoittaa kuitenkin, että kumpikin lukujoukko on ehtymätön ja jokaiselle alkiolle löytyy aina toisesta lukujoukosta pari. Äärettömien joukkojen tapauksissa joukon "kokoa" kutsutaankin joukon "mahtavuudeksi" erotukseksi äärellisten joukkojen koosta. Äärettömän joukon kokoa ei arvoida numeerisesti vaan sen mahtavuutta arvioidaan vertailujoukon avulla. Vertailun tulos on, että toinen joukko on yhtä mahtava tai mahtavampi kuin toinen joukko. Joukot voidaan asettaa mahtavuusjärjestykseen vertailun avulla.