[woopsn]

Rado has many interesting subgraphs, for example the implication graph of every countable theory. Are arithmetic propositions associated randomly? Not as we see it, but in some sense they could be (even iid). It is not the quite the same but I take the rado construction to be the logical extreme of the position there is no inherent/meaningful truth in such theories. You need to deal with this kind of many-worlds absurdity that falls out.

From your reply though I feel we are not really disagreeing so much. There is a kind of truth which is not propositional or self-evident but teleological. That is a sense in which I think the assigned truth values are meaningful.

The formalist movement was indispensable, I shouldn't have implied it was merely self-defeating. But I believe the philosophy that mathematics is fundamentally arbitrary mechanical symbol manipulation is wrong.