Теорема Лёвенгейма - Сколема для NBG

Теорема Лёвенгейма - Сколема для NBG Теорема Лёвенгейма - Сколема о понижении мощности -если множество предложений в счётном языке первого порядка имеет бесконечную модель, то оно имеет счётную модель. Теорема Кантора гласит, что любое множество менее мощно, чем множество всех его подмножеств. Отсюда следует, что теорема Кантора не выразима в NBG.Это так ?