Tales afirmaciones serán ciertas en cualquier modelo de ZF, independientemente de la certeza o falsedad del axioma de elección en dicho modelo.