847 do , é indispensável também que o crédito esgrimido pelo devedor contra o seu credor esteja já reconhecido, pois o processo executivo não comporta a definição do contra-direito, conforme resulta do disposto nos arts.