>>284
自然数の選び方の確率分布が定められるなら9/10といえるが
そうでなければ、9/10だとはいえない、というのが今の確率論では?

ただ「とはいえない」というのは「反例がある」ということではないと思う
要は「9/10だとしても矛盾しないし、そうでないとしても矛盾しない」
とかいうことになると、そもそも決定不能だということになる