Andreas Weiermann wrote: >I meant by my question whether the number of symbols >needed for the proof of Theorem 1 in finite mathematics >is larger than the Graham number. Yes, this should have been obvious; sorry for my carelessness. Graham's number is somewhere between n(3) and n(4), and much smaller than TREE[3]. Tim