Im Unendlichkeitsaxiom müsste man das Leermengensymbol ganz elimineren und durch gebundene Variablen beschreiben, denn eine feste Menge hinter einem Quantor ist syntaktisch inkorrekt. Das Unendlichkeitsaxiom lautet ausführlich so: