number

A named height in a fixed first-order language with a bounded symbol count. Not Fish number as the graph-theoretic bound alone, and not a bare digit dump alone.