User blog comment:Wythagoras/FGH of Array Notations/@comment-1605058-20130705193651/@comment-5150073-20130705194148

The power of ZFC is $$\omega_1$$, doesn't it?