From HomoExcelsior

1. An idea that is demonstrably true or is assumed to be so. 2. A proposition that has been or is to be proved on the basis of explicit assumptions.

---