Gödel–Gentzen negative translation

Redirect to:

  • Double-negation translation