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"?
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2019-03-09 04:42 am (UTC)~~~
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"?