Talk:Axiom of collection

I think there's a case for an article here, rather than just a redirect to Replacement: while full collection is equivalent to replacement, the weak form in eg Kripke-Platek set theory isn't. Omicron18 09:04, 3 August 2007 (UTC)