葛立恆数由葛立恆提出，曾经被视为在正式数学证明中出现过最大的数，后来则被取代。它大得连高德纳箭号表示法也难以简单表示，而必须使用64层高德纳箭号表示法才表示得出来。马丁·加德纳于1977年11月在美国科学人杂志的「数学游戏」专栏将此数刊登出来，1980年被金氏世界纪录订为在正式数学证明中出现过最大的数。
问题背景.葛立恆数与拉姆齐理论有关：考虑一个formula_1维的超立方体，在连结所有顶点后，将形成一个formula_2个顶点的完全图。将这个图的每条边填上红色或蓝色。求form