Gottlob Frege intentó culminar este proceso creando una axiomática de la teoría de conjuntos.