If they are consistent, then P can be shown independent of them if adding P to them, or adding the negation of P, both yield consistent sets of axioms.
If they are consistent, then P can be shown independent of them if adding P to them, or adding the negation of P, both yield consistent sets of axioms.