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