[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