ZFC-t be lehet ágyazni maximális (teljes), konzisztens elméletbe, amelyben CSAK ilyen formulák vannak!

Itt a maximális szót a teljes szinonimájaként használtam, ami hibás. Persze, nincs minden formula, vagy a negációja a teljes elméletben. Viszont tőle független formula sincs.