El método axiomático y la lógica se hicieron el uno para el otro. La lógica formal proporciona las herramientas para formular teorías axiomáticas, para probar teoremas a partir de los axiomas de la te...El método axiomático y la lógica se hicieron el uno para el otro. La lógica formal proporciona las herramientas para formular teorías axiomáticas, para probar teoremas a partir de los axiomas de la teoría de una manera precisa, para estudiar las propiedades de todos los sistemas satisfaciendo los axiomas de manera sistemática.