Second question: how does this work in different axiom systems? Do we need separate markets, or can they be tied together well? How does the market deal with “provable from ZFC but not Peano”? “Theorem X implies corollary Y” is a thing we can prove, and if there’s a price on shares of “Theorem X” then that makes perfect sense, but does it make sense to put a “price” on the “truth” of the ZFC axioms?
Actually, I don’t think that creates any problem? Just create shares of “ZFC axioms” and “not ZFC axioms” via logical share splitting. If you are unable to sell “not ZFC axioms”, that only means that price of one main share is $1 (though, it’s likely possible to prove something fun if we take these axioms as false).
Actually, I don’t think that creates any problem? Just create shares of “ZFC axioms” and “not ZFC axioms” via logical share splitting. If you are unable to sell “not ZFC axioms”, that only means that price of one main share is $1 (though, it’s likely possible to prove something fun if we take these axioms as false).