En el siglo XX hubo uno de los enormes desarrollos en lógica.