Talk:Zermelo–Fraenkel set theory

I suggest moving this to Zermelo–Fraenkel set theory and just add mention in the article that it's differentiated based on appearance of AC. Length of the title is quite ridiculous.