juan_gandhi: (Default)
Juan-Carlos Gandhi ([personal profile] juan_gandhi) wrote 2019-03-09 03:37 am (UTC)

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.

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting