Por ejemplo, el sistema T se obtiene añadiendo a K el axioma: