(If math axioms can provably not guarantee something, we can simply import axioms from economics! And then... not use any of the newly-proveable things that rely on it! What were we talking about again? The important thing is that we got an economics axiom imported abd implemented.)
@Lady But have you considered:
Blockchain™
(If math axioms can provably not guarantee something, we can simply import axioms from economics! And then... not use any of the newly-proveable things that rely on it! What were we talking about again? The important thing is that we got an economics axiom imported abd implemented.)