User blog comment:Sait2000/Base-k Arrow Notation/@comment-2033667-20141217024546

i see what you're trying to accomplish, but i doubt that goodstein's theorem still applies in this context