[theodric]

What the actual hell is this? Have people really gone to this much effort to write a backstory for a comedic skit?

[gqcwwjtg]

That’s genuine metamathematics, only one joke in there https://ncatlab.org/nlab/list/joke

[theodric]

Any sufficiently-advanced mathematics is indistinguishable from technobabble, I guess