19) O clculo lgico um pressuposto de qualquer clculo e sem o seu auxlio nenhuma demonstrao poderia ser feita.

. O que uma teoria axiomtica faz sobrepor-se lgica, acrescentando algumas constantes (no lgicas) especficas e alguns axiomas (no lgicos) necessrios para a deduo de novos resultados. Esses axiomas no lgicos, especficos da teoria, so dados como premissas para outras dedues. So frmulas que no tm o carcter de "verdades lgicas" mas sim de "verdades aceites". A sua funo a de se constiturem como base para dedues de resultados que a lgica por si s no poderia permitir. Dizemos que uma frmula logicamente vlida quando puder ser deduzida dos axiomas lgicos. Ao lado das frmulas logicamente vlidas, existem frmulas designadas simplesmente como vlidas. No h mtodo uniforme para as caracterizar. O mais comum, seleccionar um conjunto (finito ou no) de proposies que so chamadas axiomas no lgicos e dizer que uma proposio vlida se e s se puder ser deduzida desse conjunto. Por outras palavras, a proposio ser vlida se e s se puder ser deduzida dos axiomas (lgicos e no lgicos) admitidos por esta teoria. As teorias em que a noo de validade tiver sido introduzida dessa maneira dir-se-o teorias axiomticas. Quando a teoria tiver sido axiomatizada, diz-se que as proposies vlidas so proposies demonstradas (ou demonstrveis). Uma teoria formalizada, salvo se apresentada directamente como sistema axiomtico (caso em que as suas proposies vlidas se identificam com as proposies demonstrveis nesse sistema) pode ou no ser axiomatizada. Entre as teorias axiomticas, um grupo particularmente notvel aquele que composto por teorias com um nmero finito de axiomas.

Segundo o axiomatismo, partimos de axiomas, postulados e definies que so considerados como puras convenes e deles deduzimos teoremas cuja validade depende das convenes iniciais e do rigor das cadeias dedutivas.

Esquematicamente, temos:

Axiomatismo

20)