I decrypted your message to:
~~~
In "Pocket Set Theory" the formulation of "axiom of choice" follows from axioms of the theory in which we model our theory.
~~~

In what theory do you model model "our theory"?
What is "our theory"? Is "our theory" == "Pocket Set Theory"?