 In the formalization of the notion of the Creating Subject its temporal aspect is formalized using the notation \(\Box_n A\), that denotes that the Creating Subject has a proof of A at time n (in some other formulations: experiences the truth of \(A\) at time \(n\)). Georg Kreisel (1967) introduced the following three axioms for the Creating Subject, which taken together are denoted by CS: