Os axiomas podem ser escolhidos à vontade, mas os teoremas (as conclusões) têm que ser verdadeiros, ou seja, não é possível violar as leis do siste...

Os axiomas podem ser escolhidos à vontade, mas os teoremas (as conclusões) têm que ser verdadeiros, ou seja, não é possível violar as leis do sistema de lógica que se determinou utilizar. Demonstram ou provam. Necessitam observar e/ou experimentar. Dependem do fato experimental para sua convalidação. Usam-se símbolos interpretativos. A coerência com um sistema de ideias previamente admitido é necessária, mas não suficiente para obter a verdade. O enunciado precisa passar pelo sistema de provas. Verificam (comprovam ou refutam) hipóteses que geralmente são provisórias.

a) Ferramentas teóricas.
b) Conceitos, leis, teorias e doutrinas.
c) Leis gerais.