arithmetically definable number

1. REDIRECT Definable real number#Definability in arithmetic

{{Redirect category shell|

{{R from subtopic}}

{{R to section}}

}}