Definable number

1. REDIRECT Definable real number

{{Rcat shell|

{{R from less specific name}}

}}