Nu voobshche-to, teorema Gedelya v iskhodnoj formulirovke ne imeet nikakogo voobshche otnosheniya ni k ZFC, ni voobshche k teorii mnozhestv. Teorema Gedelya ehto utverzhdenie pro yazyk, a ne pro model'; v nej neschetnye mnozhestva ne poyavlyayutsya.