Comparing axiom systems

Authored by:Erik Enstad inpgt 0.7.1.
Source:comparing-axioms.Rmd, Vignette:comparing-axioms.html. Last updated:2026-10-13.