 The first axiom CS1 is uncontroversial: at any point in time, it can be established whether the Creating Subject has a proof of a given statement or not. The second axiom CS2 clearly uses the fact that the Creating Subject is an idealization since it expresses that proofs will always be remembered. The last axiom CS3 is the most disputed part of the formalization of the Creating Subject, or better, its second conjunct \((A \rightarrow \neg\neg\exists n\Box_n A)\) is, which was given the name Axiom of Christian Charity by Kreisel. Göran Sundholm (2014), for example, argues that Axiom of Christian Charity is not acceptable from a constructive point of view. And Gödel’s incompleteness theorem even implies that the principle is false when \(\Box_n A\) would be interpreted as being provable in a sufficiently strong proof system, which, however, is certainly not the interpretation that Brouwer had in mind. 