Metadata
Author: WikiMatrix
Data
English[en]
Later work by Paul Cohen (1966) showed that the addition of urelements is not needed, and the axiom of choice is unprovable in ZF.
Dutch[nl]
In 1966 toonde de wiskundige Paul Cohen aan dat de toevoeging van oerelementen niet nodig is en het keuzeaxioma in de ZF-verzamelingenleer niet te bewijzen is.