L'argomentazione di Russell fa cadere in difetto l'assioma (Vb) -il che ovviamente comporta la non validità di (V)- , ma non l'assioma (Va), il quale stabilisce che se due funzioni hanno uguale valore per lo stesso argomento, qualunque sia l'argomento, allora esse hanno anche lo stesso decorso di valori. Sia in (Va) che in (Vb), l'assioma di comprensione è implicitamente presupposto.Infatti, nella premessa di (Vb) figurano senza alcuna limitazione segni di classe, il che equivale ad ammettere che a ogni proprietà corrisponde una classe; mentre nella conseguenza di (Va) le classi appaiono, senza limitazione alcuna, come argomento di una indeterminata funzione F.