Self-Justifying Axioms Systems (SJAS) are a kind of mathematical logic with the peculiar property of consistent, self-provable, consistency, carefully navigating the boundary defined by Goedel's Se...
A bit heavy on the comp sci side of things, just FYI.
