From https://news.ycombinator.com/item?id=37430759#37441973 https://news.ycombinator.com/item?id=37430759#37441973 : > Do any existing CAS systems have configu

From https://news.ycombinator.com/item?id=37430759#37441973 https://news.ycombinator.com/item?id=37430759#37441973 : > Do any existing CAS systems have configurable axioms? OTOH: Conway's surreal infinities, Do not early eliminate terms next to infinity, Each instance of infinity might should have a unique identity, configurable Order of operations," Optional Axiom of Choice, Complex Wave functions: https://en.wikipedia.org/wiki/Wave_function https://en.wikipedia.org/wiki/Wave_function , Quantum logic, https://news.ycombinator.com/item?id=37367951#37379123 https://news.ycombinator.com/item?id=37367951#37379123 : > [...] is it ever shown that Quantum Logic is indeed the correct and sufficient logic for propositional calculus and also for all physical systems? ( Quantum statistical mechanics: https://en.wikipedia.org/wiki/Quantum_statistical_mechanics https://en.wikipedia.org/wiki/Quantum_statistical_mechanics ) Quantum logic > Relationship to other logics: https://en.wikipedia.org/wiki/Quantum_logic#Relationship_to_other_logics https://en.wikipedia.org/wiki/Quantum_logic#Relationship_to_...