Los matemáticos quieren que sus teoremas a partir de los axiomas sigan un razonamiento sistemático.