Definable number

Summary