Metadata
Author: WikiMatrix
Data
English[en]
A variation on the method of forcing can also be used to demonstrate the consistency and unprovability of the axiom of choice, i.e., that the axiom of choice is independent of ZF.
Portuguese[pt]
Uma variação no método de forçamento também pode ser usada para demonstrar a consistência e improvabilidade do axioma da escolha, i.e., que o axioma da escolha é independente da ZF.