Metadata
Author: WikiMatrix
Data
English[en]
The independence is usually proved by forcing, whereby it is shown that every countable transitive model of ZFC (sometimes augmented with large cardinal axioms) can be expanded to satisfy the statement in question.
Portuguese[pt]
A independência é comumente provada por forçamento, pelo que é mostrado que cada modelo contável transitivo da ZFC (algumas vezes aumentado com os axiomas de grande cardinal) pode ser expandido para satisfazer a afirmação em questão.