When building products you are always learning new things about the user, the market, and their problems. Sometimes this happens intentionally (e.g. doing user research) and sometimes it happens unintentionally (e.g. adding a feature that suddenly takes off in usage). Ideally these facts are made explicit and is accretive over time so that new facts leads to better understanding over time which leads to more successful products. This also requires flexibility and updating ones model as new information is uncovered.
This is similar to the ideas from lean startup where the goal is to efficiently validate critical assumptions by building the minimum required to learn from users.
Facts don’t necessarily need to be provable to be valuable, just correct (a G-statement). Gödel Incompleteness For Startups argues that the unprovable yet true facts are the most scarce and therefore most valuable.