At 22:26 -0700 21/09/2002, Brent Meeker wrote: >I don't see how this follows. If you have a set of axioms, and >rules of inference, then (per Godel) there are undecidable >propositions. One of these may be added as an axiom and the >system will still be consistent. This will allow you to prove >more things about the mathematical structures. But you could >also add the negation of the proposition as an axiom and then >you prove different things. So until the axiom set is >augmented, the mathematical structures they imply don't exist.
Why? The *tree* of possible extensions of theories can exist (in platonia let us say). The tree of possible models of theories can also exists in Platonia. Actually both those trees are posets (or even categories). And those theories/models posets are related by categorical (in the category sense, not in the logical sense) so-called adjunction, relating theories and models of theories in a mathematically rich sense. What is true for Everett's worlds is a fortiori true for mathematical models or models' sequences. The splitting and relative 1-indeterminacy cannot be used against their ontological 3-atemporal existence, it seems to me. Bruno
