Demostraron además como la lógica de primer orden formalizaba parte de las matemáticas.