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