⎋♯

⎋♯ is a number so large, that it makes Canyplax look like 0. Applying any function to ⎋♯ will return a smaller value. Even if ⎋♯ was less than Canyplax, Canyplax applies a function to the smallest infinity less than Canyplax, and therefore by the rule specified above, f(⎋♯) < ⎋♯, where f is any function, Canyplax < ⎋♯.

Definition

{x} is the conceptualization of theory x.

←x→ means that any amount of repeated applications of any function on a number lower than x will always be less than x.

⎋♯ = { {{x} = x} < ⎋♯} ∧ ←⎋♯→