[math-fun] Probability of undecidability

In number theory (as used in Gödel's undecidability proof) what is the probability that a statement is undecidable? Could almost all statements be undecidable? (E.g., look at the fraction of statements of length N that are undecidable, as N -> oo.) --Dan ________________________________________________________________________________________ It goes without saying that .