Rocky's Number

Rocky's Number is the smallest number greater than any number definable with fewer than a googolplex symbols in first-order set theory.

Rocky's Number is the largest named number.

by thedefinerrrrrrrrrrrr September 13, 2025