Los métodos utilizados en este artículo son nuevos, y no se deben a mí sino a Paul Cohen, quien los ha utilizado para mostrar que hay un α ω< 1 tal que M, α < ≥ ε es un modelo para la teoría de conjuntos de von Neumann-Bernays (VB) si hay cualquier modelo bien fundado para esa teoría en absoluto.