Una vez seleccionados los axiomas, en ocasiones es posible demostrar que todos los teoremas son verdades lógicas, y que todas las verdades lógicas son teoremas (en otras palabras, que el conjunto de los teoremas y de las verdades lógicas coinciden).