User blog comment:B1mb0w/Fundamental Sequences/@comment-1605058-20151112165051

I've just noticed a mistake you made in section $$\Gamma_0$$ - it's not true that  $$\varphi(\omega,0)=\varphi(1,0,0)$$. In reality, $$ \varphi(1,0,0)$$ is the limit of $$ \varphi(1,0), \varphi( \varphi(1,0) ,0), \varphi( \varphi( \varphi(1,0) ,0) ,0),...$$.