Conforme o artigo 156 do Código Tributário Nacional, a extinção do crédito tributário se dá com: