something that is known to be true or real, especially when it can be proved