誰も既に証明されているなんて言ってないよ。
πやeのような自然に定義された実数の場合は
それが確からしく思えるってだけで。

「任意の有限列が必ずどっかに出て来る」か、
「或る特定の有限列があり、小数部分に決して表れない」か、
どちらか片方が証明可能な訳だが、
どちらかに賭けろと言われたら60だって上に賭けるでしょ？