Building on this question: Infinitely many nonequivalent unprovable statements in ZFC because of Gödel's incompleteness theorem?
is the infinity of provable statements the same infinity of unprovable statements, or are there more unprovable statements?
I am wondering if there is anything we can say about the probability that a random true statement is provable....