Qu'est-ce que cela voudrait dire que P≠NP indépendant des axiomes de la théorie des ensembles ?

(Je sens que ça va partir sur une discussion sur le platonisme...)