Estos matemáticos desarrollaron un formalismo riguroso que permitía eliminar numerosas aporías y paradojas del análisis (ver por ejemplo 1 − 2 + 3 − 4 + · · ·).