User blog comment:Eners49/A whole new superclass of infinities?/@comment-35470197-20180722021627/@comment-162.238.217.96-20180724000916

I'm referring to the fact that that there are functions that are unprovable in ZFC like Finite Promise Games and Greedy Clique Sequences