I was not specific enough. Here we don't model anything; the author just notes that what is known as AC is a theorem in this specific set theory - it follows from other axioms. What I meant was something like "take a regular set theory, model it in pocket set theory" - but that was wrong; we only talked about AC here, so there.
no subject
I was not specific enough. Here we don't model anything; the author just notes that what is known as AC is a theorem in this specific set theory - it follows from other axioms. What I meant was something like "take a regular set theory, model it in pocket set theory" - but that was wrong; we only talked about AC here, so there.