In Rigor-Ambiguity Axis: It’s a good analogy; a purely rigorous axiom system there’s statements that you cannot prove. We need to add the new axioms with deliberate shoice to resolve that contradiction (Synthesis) and generate new knowledge.