 In most philosophies of mathematics, for example in Platonism, mathematical statements are tenseless. In intuitionism truth and falsity have a temporal aspect; an established fact will remain so, but a statement that becomes proven at a certain point in time lacks a truth-value before that point. In said formalization of the notion of Creating Subject, which was not formulated by Brouwer but only later by others, the temporal aspect of intuitionism is conspicuously present. 