Por ejemplo, la paradoja de Russell puede ser expresada como "no hay un conjunto que contenga a todos los conjuntos" (exceptuando algunas teorías axiomáticas marginales).