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.
no subject
"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.