Cuando Bertrand Russell enunció la Paradoja de Russell, entonces se empezó a diferenciar entre la lógica de primer orden y la lógica de segundo orden y también se refleja en el axioma de inducción de la aritmética de Giuseppe Peano: