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