En la teoría matemática de conjuntos , el modelo de Chang es el modelo interno más pequeño de la teoría de conjuntos cerrado bajo secuencias numerables . Fue introducido por Chang (1971). De manera más general, Chang introdujo el modelo interno más pequeño cerrado bajo secuencias de longitud menor que κ para cualquier cardinal infinito κ. Para κ contable, este es el universo construible , y para κ, el primer cardinal incontable, es el modelo de Chang.
El modelo de Chang es un modelo de ZF . Kenneth Kunen demostró en Kunen (1973) que el axioma de elección falla en el modelo de Chang siempre que haya suficientes cardinales grandes, como un número incontable de cardinales medibles .