Si hay un conjunto que es un modelo estándar (ver modelo interno) de la teoría de conjuntos de ZFC, entonces no hay un modelo estándar mínimo ("ver" universo constructible).