Sistemas más fuertes se construyen agregando axiomas a K.