 (Bernays’ correction was included, at the proof stage, in Brouwer’s paper (1925E: 252n.4 [Mancosu 1998: 292n.4]).) However, Bernays did not publish his idea for a Brouwerian logic. (Kolmogorov would publish the same idea in 1925; see below.)