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

Now that I think about it, he just used first order set theory, just with a new logical symbol.