C'est le terme 'indécidable" que je comprends pas perso

En gros dire P = NP est indécidable, ca veut dire qu'on ne pourra jamais trouver une démonstration de cet énoncé ou de son contraposé c'est ca ?

Mais alors le meilleur moyen de savoir si c'est "décidable" ou pas, c'est encore de trouver une démonstration.
Je ne vois pas bien la différence avec le terme démontré du coup..