You can fix the Russel's Paradox in ZF as well.