Category:Unformalised

This category contains googological notations which have not been formalised in a reasonable theory such as Zermelo–Fraenkel set theory or its extensions which are believed to be consistent. For example, large functions only admitting intuitive descriptions or intended behaviours are suitable for this category. For formalised notations including unsolved problems in the definitions, see Category:Unsolved problems.