User blog comment:P進大好きbot/Ill-definedness of BIG FOOT, Little Bigeddon, and Sasquatch/@comment-34422464-20181207214757

I'm pretty sure they use first order set theory with extra axioms.