Some form of this assumption is necessary, as there exist models of mathematics in which both the axiom of choice and the De Bruijn–Erdős theorem are false.
Az axióma feltételezése szükséges, léteznek olyan matematikai modellek, melyben a kiválasztási axióma és de Bruijn–Erdős-tétel is hamis.