User blog comment:Wythagoras/FGH of Array Notations/@comment-1605058-20130706085904

(Reply feature seems to not work on mobile, so I add separate comment) ZFC has only countably many theorems, and there is uncountably many ordinals below \(\omega_1\), so well-orderedness of some of them is unprovable. Smallest of them marks (countable) limit of ZFC. Just from curiosity, where Deedlit mentioned what Wythagoras quoted?