Veblen 函数

Veblen函数(别名：$\phi$函数)是一个$\mathrm{O}\mathrm{r}\mathrm{d}\mathrm{\to }\mathrm{O}\mathrm{r}\mathrm{d}$的序数函数，由美国数学家Oswald Veblen定义。