User blog comment:Vel!/1+w/@comment-2033667-20141011224818/@comment-2033667-20141011231252

I think ordinals are very critical googology education (a solid understanding of ordinals and proof theory is required for really grasping higher googological functions such as TREE and SCG) but I do see why you would want to avoid delving too deeply into them. I strongly advise you to avoid weaving FSE's into your materials on ordinals. If I were you, I would actually leave out FSE's altogether, or at least delay them until your book reaches a more advanced discussion on ordinals, but of course it's your call.