Metadata
Author: WikiMatrix
Data
English[en]
Paul Cohen invented the method of forcing while searching for a model of ZFC in which the continuum hypothesis fails, or a model of ZF in which the axiom of choice fails.
Portuguese[pt]
Ver artigo principal: Forçamento Paul Cohen inventou o método de forçamento enquanto procura por um modelo de ZFC em que o axioma da escolha ou a hipótese do continuum falhe.