In ZF with the axiom of infinity removed, is the axiom scheme of collection provable?
Note that Collection does follow from the axiom of Transitive Containment, which states that everything belongs to a transitive set. Mancini gave a model of ZF minus Infinity where Transitive Containment fails: see the end of Section 3 in
https://projecteuclid.org/euclid.ndjfl/1054837937
Mancini's model validates Collection, so this does not answer my question.