Sachverhalt: Sachverhalt: A. Mit Zahlungsbefehl Nr. 2....... des Betreibungsamts C._ vom 29. Mai 2002 betrieb B._ (Beschwerdegegnerin) A._ (Beschwerdeführer) für eine Forderung von Fr. 50'521.-- nebst Zins und Kosten. Sie stützte ihre Forderung auf das Scheidungsurteil vom 3. April 2002. Der Beschwerdeführer erhob Rechtsvorschlag. Die Beschwerdegegnerin verlangte in der Folge definitive Rechtsöffnung für den genannten Betrag einschliesslich Zins und Kosten. Der Beschwerdeführer beantragte deren Abweisung. Am 14. Oktober 2002 wies der Präsident des Bezirksgerichts Zurzach das Begehren um definitive Rechtsöffnung ab. Er anerkannte zwar, dass sich die Forderung der Beschwerdegegnerin auf das Scheidungsurteil und damit auf einen definitiven Rechtsöffnungstitel stützen könne. Der Beschwerdeführer habe aber nachgewiesen, dass seine Schuld im Sinne von Art. 81 Abs. 1 SchKG durch Verrechnung getilgt sei. A. Mit Zahlungsbefehl Nr. 2....... des Betreibungsamts C._ vom 29. Mai 2002 betrieb B._ (Beschwerdegegnerin) A._ (Beschwerdeführer) für eine Forderung von Fr. 50'521.-- nebst Zins und Kosten. Sie stützte ihre Forderung auf das Scheidungsurteil vom 3. April 2002. Der Beschwerdeführer erhob Rechtsvorschlag. Die Beschwerdegegnerin verlangte in der Folge definitive Rechtsöffnung für den genannten Betrag einschliesslich Zins und Kosten. Der Beschwerdeführer beantragte deren Abweisung. Am 14. Oktober 2002 wies der Präsident des Bezirksgerichts Zurzach das Begehren um definitive Rechtsöffnung ab. Er anerkannte zwar, dass sich die Forderung der Beschwerdegegnerin auf das Scheidungsurteil und damit auf einen definitiven Rechtsöffnungstitel stützen könne. Der Beschwerdeführer habe aber nachgewiesen, dass seine Schuld im Sinne von Art. 81 Abs. 1 SchKG durch Verrechnung getilgt sei. B. Gegen diesen Entscheid erhob die Beschwerdegegnerin Beschwerde beim Obergericht des Kantons Aargau, welches diese am 21. März 2003 guthiess und die definitive Rechtsöffnung erteilte. B. Gegen diesen Entscheid erhob die Beschwerdegegnerin Beschwerde beim Obergericht des Kantons Aargau, welches diese am 21. März 2003 guthiess und die definitive Rechtsöffnung erteilte. C. Gegen diesen Entscheid hat A._ am 1. Mai 2003 staatsrechtliche Beschwerde erhoben im Wesentlichen mit dem Antrag, den angefochtenen Entscheid aufzuheben. In der Sache sind keine Vernehmlassungen eingeholt worden. Das Begehren, der Beschwerde sei die aufschiebende Wirkung zuzuerkennen, hat der Präsident der II. Zivilabteilung am 23. Mai 2003 abgewiesen. 