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

I guess that almost everyone is pretty sure about it. The point is that BIG FOOT is ill-defined even if we assume usual first order set theory with extra axioms.