Conversation so far:

Question: what do we call statements that we assume to be true without proofs
Self-contained rewrite: what do we call statements that we assume to be true without proofs