Metadata
Author: WikiMatrix
Data
English[en]
The restriction to ZF renders any claim that relies on either the axiom of choice or its negation unprovable.
Dutch[nl]
De beperking tot ZF maakt elke claim, die zich hetzij op het keuzeaxioma hetzij op de ontkenning daarvan baseert, onbewijsbaar.