A független állítások olyankor kerülnek elő, amikor egy függvény nem differenciálható, nem folytonos, nem mérhető, nem tartozik a projektív hierarchiába

?

Pl: igaz-e, hogy egy ko-analitikus halmaz vagy megszamlalhato vagy tartalmaz perfekt reszhalmazt?

Igazan a proj. hierarchia alljarol szolo allitas, ami L-ben hamis, de igaz pl ha van merheto szamossag.