Otra teoría de conjuntos que evitaba las paradojas de la teoría cantoriana fue desarrollada después, principalmente, por John von Neumann, Paul Bernays y Kurt Gödel.