Para ver que T es una extensión propia de K, sólo tenemos que comprobar que el axioma T no es deducible en K.