What would be the advantage of adopting ZF over other set theories such as New Foundation?
I am very curious, since it seems that there is no reason just to stick with ZF.
Edit: What about set theories other than NF? And why is NF's finite axiomatization possbility not attractive?