GP did not mix up anything. Some of those finite formulas also will be too long to be written within the constraints of this universe. The pigeonhole principle applies just as much to finite formulas as it does to finite strings of decimal digits.