Little Bigeddon is a googologism based on an extension of the language of set theory. It was defined on the 5th January 2017 by user Emlightened. User LittlePeng9, the creator of BIG FOOT, wrote "... I'd say this is a large number worth losing to ..." on the original blog post. Little Bigeddon is larger than BIG FOOT.