 Let us assume that it is answered positively and return to the question of uniqueness. For each such axiom A, let TA be the Σ22 theory computed by ZFC + A in Ω-logic. The question of uniqueness simply asks whether TA is unique. 