Por ejemplo, es evidente que como el sistema T se obtiene añadiendo un axioma a K, T es una extensión de K.