Istos pasos deben estar fundamentatos en l'aplicación de reglas de deducción (fundatos ya sía en axiomas u en teoremas anteriorment contrimostratos u en reglas basicas de deducción d'o sistema en qüestión).