MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

My question is whether the axiom of extensionality is required to show that the schema of collection follows from the schema of replacement in the usual Zermelo-Fraenkel environment with choice. In other words: Is the schema of collection a theorem schema in Zermelo-Fraenkel set theory with choice minus the axiom schema of extensionality?

share|cite|improve this question
Why would you remove extensionality from ZFC? – François G. Dorais Dec 20 '12 at 2:56
Extensionality is not a schema. (Well, I suppose it is a trivial schema with only one instance.) – François G. Dorais Dec 20 '12 at 2:57
At first when I read this I thought "what the heck?" but then I realized it is kind of an amusing question. Without extensionality, there's not really any way to prove that two sets are equal, and hence not much of any way to construct anything unique. So replacement appears to become kind of useless. (-: – Mike Shulman Dec 20 '12 at 5:30
Hello Frode, welcome to MO! – Emil Jeřábek Dec 20 '12 at 12:33
A related fact would be that one does need the power set axiom to prove collection from replacement. See – Joel David Hamkins Dec 20 '12 at 13:48

Collection is not provable in ZFC minus extensionality, a simple countermodel is described in . (That the model cannot provably satisfy collection follows from Gödel’s theorem. For a specific instance of collection which fails, let $\bar\omega$ denote one of the many representations of $\omega$ in the model, and $\bar0\in\bar\omega$ the corresponding empty set: then the model satisfies “for every $n\in\bar\omega\smallsetminus\{\bar0\}$, there exists a function $f$ with domain $n$ such that $f(\bar0)=\bar\omega$, and $f(x)\in f(y)$ whenever $x\in y\in n$”, but there is no set collecting such functions for every $n\in\bar\omega\smallsetminus\{\bar0\}$.)

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.