Construimos así un sistema lógico-formal, un cálculo, independiente de la realidad, que nos permite, mediante definiciones y reglas, perfectamente delimitadas, construir un sistema lógico-matemático que garantiza el rechazo de cualquier contradicción.