What strikes me as odd is that they put a strong focus on axioms while it is not clear that all of these axioms are needed. It has been shown for instance that Born's rule (Axiom 5) follows from other fundamental quantum "axioms" namely if the result of a measurement can be assumed to be unique (
https://www.quantamagazine.org/the-born ... 0mechanics.). That same paper says that the axiom that measurements are unique, also leads to Axiom 2 namely that observables correspond to eigenvalues of Hermitian operators (see the bottom of the linked article). Axiom 4 seems to imply that measurements unique, so does this not mean that Axioms 2 and 5 can be omitted, according to the linked article?
... Henk.
Telescopes: GSO 12" Astrograph, "Comet Hunter" MN152, ES ED127CF, ES ED80, WO Redcat51, Z12, AT6RC, Celestron Skymaster 20x80,
Mounts and tripod: Losmandy G11S with OnStep, AVX, Tiltall,
Cameras: ASI2600MC, ASI2600MM, ASI120 mini, Fuji X-a1, Canon XSi, T6, ELPH 100HS,
DIY: OnStep controller, Pi4b/power rig, Afocal adapter, Foldable Dob base, Az/Alt Dob setting circles,
Accessories: ZWO 36 mm filter wheel, TV Paracorr 2, Baader MPCC Mk III, ES FF, SSAG, QHY OAG-M, EAF electronic focuser, Plossls, Barlows, Telrad, Laser collimators (Seben LK1, Z12, Howie Glatter), Cheshire, 2 Orion RACIs 8x50,
Software: KStars-Ekos, DSS, PHD2, Nebulosity, Photo Gallery, Gimp, CHDK,
Computers:Pi4b, 2x running KStars/Ekos, Toshiba Satellite 17",
Website:Henk's astro images