I meant, as in the math case, that the probability of selecting a true statement by choosing one at random out of the space of all possible statements is 0 (there are true statements, but as a literal infinitesimal).
It’s possible that both infinities are countable, as I am not sure how one would prove it either way, but that detail doesn’t really matter for the broader argument.
See the note by JGWeissman—this is only true when considering constructively true statements (those that carry non-negligible informational content, i.e. not the negation of an arbitrary false statement).
I meant, as in the math case, that the probability of selecting a true statement by choosing one at random out of the space of all possible statements is 0 (there are true statements, but as a literal infinitesimal).
It’s possible that both infinities are countable, as I am not sure how one would prove it either way, but that detail doesn’t really matter for the broader argument.
See the note by JGWeissman—this is only true when considering constructively true statements (those that carry non-negligible informational content, i.e. not the negation of an arbitrary false statement).