> 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 ,
Quantum logic,
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 )
Quantum logic > Relationship to other logics: https://en.wikipedia.org/wiki/Quantum_logic#Relationship_to_...