This was an interesting topic that I'll likely ponder for a long time to come.

Have you studied large cardinals at all? I see there's some connections with proving tree(n) finite for all n, so seems likely, but it also just feels a lot like that sort of ever-exploding fractal type of thing, but inside the countable numbers which is sort of mind blowing.