Üdvözlet!

Segítséget kérnék a hozzáértőktől az alábbi kérdésben.
Egy gödeli állításról mindig ki lehet deríteni, hogy gödeli, tehát nem érdemes a bizonyításán, vagy cáfolatán fáradozni?
Onnan merült fel, hogy ha egy adott axiómarendszerben egy állításnál nem is lehetünk biztosak abban, hogy egyáltalán ő, vagy a negáltja levezethető, akkor legalább ezen helyzet fennállását le tudjuk-e tesztelni. Köszi!