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...