Para la consistencia de una teoría el análisis es fundamental y su herramienta más preciada es el análisis lógico-matemático.