> be me> realize math axioms are arbitrary> prof says “we could drop Choice” like it’s a patch note> why study fake infinities when I could study the C++ standard> read it> “behavior is undefined”> so it’s just ZFC but meaner> join HFT firm> write cursed templates that summon cash from the void> mfw I replaced the Axiom of Choice with the Axiom of Profit
>>16813488Boring. Why did you bother posting this idiotic story?
>>16813488>be me>realize axioms are numbers >start counting axioms like i count the amount of men your wife has slept with
If you drop too many axioms you would end up with 1=2. They're not arbitrary