Question : what do we call statements that we assume to be true without proofs
Answer : axioms