arithmetically definable function

  1. REDIRECT Arithmetical set