Many 'ZF theorems' actually depend on hidden AC-like principles (replacement, infinity); the distinc...
This proposition has not been edited since the history system was added.