what do you call the statements that are assumed to be true and do not need proof​.​