Metadata
Author: WikiMatrix
Data
English[en]
Since forcing preserves choice, we cannot directly produce a model contradicting choice from a model satisfying choice.
Portuguese[pt]
Já que forçamento preserva escolha, nós não podemos, diretamente, produzir um modelo contradizendo a escolha de um modelo satisfazendo a escolha.