By "this theory" I meant "Pocket Set Theory". "This statement" - the formulation of "axiom of choice". E.g. that for a set of non-empty sets, there's a set with exactly one element in each. "Other statements" - axioms of the theory in which we model our theory.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2019-03-09 03:37 am (UTC)"This statement" - the formulation of "axiom of choice". E.g. that for a set of non-empty sets, there's a set with exactly one element in each.
"Other statements" - axioms of the theory in which we model our theory.