Independence results like CH require different proof strategies in Z versus ZF due to differing proo...
This proposition has not been edited since the history system was added.