素数自体は無限にあるけど、条件を加えた素数の有限性は証明できないんだよね。
例えば最上位桁が1の素数は無限に存在するか→証明できない。
こんなシンプル題も証明できない。数学って面白いね。