User blog comment:Bubby3/Why no Greatly Mahlo cardinal in our weakly compact OCF?/@comment-31966679-20180607203050/@comment-31966679-20180608001707

veblen function(omega, 0)