葛立恆數

由美国数学家罗纳德·葛利恒提出，曾經被視為在正式數學證明中出現過最大的數，後來則被取代。它大得連高德納箭號表示法也難以簡單表示，而必須使用64層高德納箭號表示法才表示得出來。馬丁·加德納於1977年11月在美國科學人雜誌的「數學遊戲」專欄將此數刊登出來，1980年被金氏世界紀錄訂為在正式數學證明中出現過最大的數。