ちょっと変なネタを思いついた。
自然数に関する命題P(n)について
「P(n)が真ならばn桁目は1、偽ならば0」
と小数を対応づけることができる。
またゲーデルの不完全制定理によると任意の自然数nについて偽であるが、
そのことが証明できない命題が存在する。
そのような命題に対応する小数は0に等しいと言えるだろうか？
言い換えると計算不可能だが0に等しい数。
試しにどこまで計算しても0しか出てこないみたいだが、
本当に1が現れないのか保証できない数。