>"The dependence of intuitionism on time is essential: statements can become provable in the course of time and therefore might become intuitionistically valid while not having been so before." https://plato.stanford.edu/entries/intuitionism/