Ok, I am having a really hard time figuring out if that's serious or not. I watched the video and it was ridiculous, but it all seems to be done with a straight face. But maybe a school project or something? It's from 2017 so I assume they are now defunct, however it originated.
We live in an age where it's impossible to tell satire from reality. I clicked through to both "About" and "Blog," but am none the wiser for it. (Didn't dare to click "Pre-order" in case it were for real.)
To show that a sentence P is independent of a theory (that is, a set of sentences) T, generally one constructs or demonstrates the existence of a model of T + P and also produces a model of T + (not P).
http://www.mysmalt.com/
But I don't think the latter is satire...