Después de ver su relación con las matemáticas, la lógica matemática, se integró a lo que conocemos como ciencia formal.