Yes, "neither provable nor disprovable" is equivalent to "independent of the axioms".
It was my understanding that, at least in some cases, it's possible to prove that A is in that categorty, that the axioms plus A are consistent if and only if the axioms plus not A are consistent, which...