What is a theorem called before it is proven? postulate proposition contradiction tautology

Related Questions in Mathematics